|
|
Two-Level Types and Parameterized Modules (Functional Pearls)
– Tim Sheard, Emir Pasalic
- 2002
|
|
16
|
Embedded Interpreters
– Nick Benton
- 2003
|
|
12
|
Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl
– Tim Sheard
- 2001
|
|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
|
1
|
Strategy Application, Observability, and the Choice Combinator. Sandia
– Victor Winter
|
|
26
|
Dealing with Large Bananas
– Ralf Lammel, Joost Visser, Jan Kort
- 2000
|
|
41
|
Typed Combinators for Generic Traversal
– Ralf Lämmel, Joost Visser
- 2002
|
|
21
|
Typed Generic Traversal With Term Rewriting Strategies
– Ralf Lämmel
- 2002
|
|
|
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming
– Wrs' Th International, Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
|
|
|
Yet Another Generic Haskell
– Ralf Lämmel, Joost Visser
|
|
|
A Lightweight Approach to Datatype-Generic Rewriting
– Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
15
|
DSL Implementation Using Staging and Monads
– Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic
- 1999
|
|
4
|
Expressive and safe static reflection with MorphJ
– Shan Shan Huang, Yannis Smaragdakis
|
|
2
|
Morphing: Structurally Shaping a Class by Reflecting on Others
– Shan Shan Huang, Yannis Smaragdakis
|
|
16
|
An open and shut typecase
– Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
- 2004
|
|
70
|
A Lightweight Implementation of Generics and Dynamics
– James Cheney, Ralf Hinze
- 2002
|
|
|
1.1 Topics and Schedule.............................. 2 1.2 Curriculum Vitæ: Joost Visser......................... 4
– Joost Visser, João Saraiva
|
|
18
|
Meta-programming through typeful code representation
– Chiyan Chen, Hongwei Xi
- 2003
|
