imft.ftn.uns.ac.rs
Silvia Ghilezan | Main / Main
http://imft.ftn.uns.ac.rs/~silvia
Professor of Mathematics and Computer Science. University of Novi Sad. Faculty of Technical Sciences. Center for Mathematics and Statistics. Mathematical Institute SANU Belgrade. 25-26 June 2016, Porto, Portugal. 5th Conference Logic and Applications September 19-23, 2016, Dubrovnik, Croatia. 8 November 2016, Limassol, Cyprus. 3-6 September 2017, Oxford, UK. 22nd International Workshop on Types for Proofs and Programs, May 23-26, 2016, Novi Sad, Serbia. 12-13 June 2016, Paris, France. 2013 S. Ghilezan.
sigapl.org
SIGAPL - Home
http://www.sigapl.org/index.php
ACM Journal of Experimental Algorithmics. J in 10 minutes - 3. Web Applications (video with narration). News on the R language. Journal of J: selections from the J Conference 2014. Matlab Central - articles on Matlab. Run J in a browser! Run APL in your browser! Tracy Harms presents J for Strange Loop (video). Dyalog 2015 Conference Videos. The array-programming languages chapter operates as a sub-group of ACM's SIGPLAN. The Special Interest Group on Programming LANguages. And our Meetup page. The Strang...
ccs.neu.edu
Amal Ahmed
http://www.ccs.neu.edu/home/amal
College of Computer and Information Science. Amal at ccs.neu.edu. 328 West Village H. College of Computer and Information Science. 328 West Village H. Boston, MA 02115. Programming languages, particularly the use of semantics and type systems for reasoning about imperative code, concurrency, security, compiler transformations, and provenance. Correct and secure compilation, gradual typing, dependent types, and safe language interoperability. Spring 2016: Intensive Principles of Programming Languages.
pleiad.cl
start - PLEIAD
http://www.pleiad.cl/start
Laboratory of the Computer Science Department ( DCC. Of the University of Chile. Is a laboratory dedicated to research on new software development techniques. More precisely, we. Work on many ways to better support software development at different levels, from programming languages to development environments, including tools to support program understanding (debuggers, profilers, visualizers). We also study the practice of programming, through mining software repositories as well as user studies. With ...
pleiad.dcc.uchile.cl
start - PLEIAD
http://pleiad.dcc.uchile.cl/start
Laboratory of the Computer Science Department ( DCC. Of the University of Chile. Is a laboratory dedicated to research on new software development techniques. More precisely, we. Work on many ways to better support software development at different levels, from programming languages to development environments, including tools to support program understanding (debuggers, profilers, visualizers). We also study the practice of programming, through mining software repositories as well as user studies. With ...
leafac.com
About · Leandro Facchinetti
https://www.leafac.com/about
Me, on 2012. I am a writer. I am a Ph.D. student at the Programming Languages Laboratory. At the Johns Hopkins University. A program analysis technique called Demand-Driven Program Analysis. My interests are computer programming, music, books, typography, lettering, education, minimalism and veganism. I live in Baltimore, Maryland, United States. I am 26 years old. Feel free to invite me for a pair-programming session and to talk at conferences and user-group meetings. I believe that knowledge should be.