Abstract is missing.
- Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level ReflectionDavid Raymond Christiansen. 1 [doi]
- Combining Shared State with Speculative Parallelism in a Functional LanguageMatthew Le, Matthew Fluet. 2 [doi]
- An Efficient Type- and Control-Flow Analysis for System FConnor Adsit, Matthew Fluet. 3 [doi]
- Church Encoding of Data Types Considered Harmful for Implementations: Functional PearlPieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen. 4 [doi]
- Really Natural Linear Indexed Type CheckingArthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu. 5 [doi]
- Editlets: type-based, client-side editors for iTasksLászló Domoszlai, Bas Lijnse, Rinus Plasmeijer. 6 [doi]
- Task Oriented Programming with Purely Compositional Interactive Scalable Vector GraphicsPeter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer. 7 [doi]
- Stream Processing for Embedded Domain Specific LanguagesMarkus Aronsson, Emil Axelsson, Mary Sheeran. 8 [doi]
- Parametric lenses: change notification for bidirectional lensesLászló Domoszlai, Bas Lijnse, Rinus Plasmeijer. 9 [doi]
- Towards native higher-order remote procedure callsOlle Fredriksson, Dan R. Ghica, Bertram Wheen. 10 [doi]