11 years agoMeeting 6In the next session of the seminar we will explore the work of Peter Mosses on modular operational semantics, through the papers
https://researchr.org/publication/Mosses-JLAP-2004
http://research ...11 years agoMeeting 5On November 16 (10:00-12:00) we will be discussing the POPL 2013 paper "Optimizing Data Structures in High-Level Programs":
<https://researchr.org/publication/Rompf2013>
-- Eelco11 years agoOn November 16 (10:00-12:00) we will be discussing the POPL 2013 paper "Optimizing Data Structures in High-Level Programs":
<https://researchr.org/publication/Rompf2013>
11 years agoMeeting 4On Thursday (10:00 - 12:00) we will be discussing Green-Marl, A DSL for Easy and Efficient Graph Analysis, based on this paper:
https://researchr.org/publication/Hong2012
and the language specifi ...11 years agoMeeting 2This might be an interesting presentation of the reflection api by Odersky:
[here](http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers)11 years agoMeeting 3The next meeting will be on Thursday, October 11 from 10:00 to 12:00. We will be discussing Mirrors (https://researchr.org/publication/BrachaU04) and Lightweight modular staging
(http://researchr. ...