Two-level types and parameterized modules (2003)

Cached

Download Links

by Tim Sheard , Emir Pasalic
Venue:Journal of Functional Programming
Citations:8 - 0 self

Active Bibliography

Two-Level Types and Parameterized Modules (Functional Pearls) – Tim Sheard, Emir Pasalic - 2002
14 Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl – Tim Sheard - 2001
19 Embedded Interpreters – Nick Benton - 2003
13 Polytypic Programming With Ease – Ralf Hinze - 1999
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
1 Strategy Application, Observability, and the Choice Combinator. Sandia – Victor Winter
Abstract – Ralf Lämmel - 2002
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
26 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
Science of Computer Programming ( ) – – Ralf Lämmel A, Simon Thompson B, Markus Kaiser A
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
31 The next 700 data description languages – Kathleen Fisher, Yitzhak Mandelbaum, David Walker - 2006
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
3 Morphing: Structurally Shaping a Class by Reflecting on Others – Shan Shan Huang, Yannis Smaragdakis
7 Expressive and safe static reflection with MorphJ – Shan Shan Huang, Yannis Smaragdakis
18 An open and shut typecase – Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich - 2004