Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Selected Talks from PLI'02 Andreas Abel TCS Oberseminar, 08.11.2002

Summary: Selected Talks from PLI'02 Andreas Abel
TCS Oberseminar, 08.11.2002
1. Tim Sheard and Simon Peyton Jones, Template Meta-programming for Haskell, Haskell '02.
2. Matthew Flatt, Composable and Compilable Macros | You Want it When?, ICFP '02.
3. Oleg Kiselyov, Macros that Compose: Systematic Macro Programming, GPCE '02.
4. Eelco Visser, Meta-programming with Concrete Object Syntax, GPCE '02.
5. Aleksandar Nanevski, Meta-programming with Names and Necessity, ICFP '02.
Re ection (Run-time types, Generics, Dynamics)
1. James Cheney and Ralf Hinze, A Lightweight Implementation of Generics and Dynamics, Haskell '02.
2. Arthur Baars and Doaitse Swierstra, Typing Dynamic Typing, ICFP '02.
3. Emir Pasalic, Walid Taha and Tim Sheard, Tagless Staged Interpreters for Typed Languages, ICFP '02.
Type Systems
1. Peter J. Stuckey and Martin Sulzmann, A Theory of Overloading, ICFP '02.
2. Matthias Neubauer and Peter Thiemann, Type Classes with More Higher-Order Polymorphism, ICFP '02.
3. Gang Chen, Full Integration of Subtyping and If-expression, PPDP '02.
Program Generation
1. Janis Voigtlander, Concatenate, Reverse and Map Vanish for Free, ICFP '02.
2. Josef Svenningsson, Shortcut Fusion for Accumulating Parameters & Zip-like Functions, ICFP '02.
3. Wei-Ngan Chin and Zhenjiang Hu, Towards a Modular Program Derivation via Fusion and Tupling,


Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen


Collections: Computer Technologies and Information Sciences