Paradise: A two-stage DSL embedded in Haskell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 225-228

  Augustsson, Lennart ^a   Mansell, Howard ^a   Sittampalam, Ganesh ^a  

^a Global Modelling and Analytics Group   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CLASS-BASED; EXCEL SPREADSHEETS; FINANCIAL PRODUCTS; HASKELL; RETARGETABLE; REUSABLE COMPONENTS; TWO STAGES;

COMPUTER PROGRAMMING; PROGRAMMING THEORY; SPREADSHEETS;

FUNCTIONAL PROGRAMMING;

EID: 59249094941     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411236     Document Type: Conference Paper

References (7)

1. P. Bjesse, K. Claessen, M. Sheeran, and S. Singh. Lava: Hardware design in Haskell. In Proc. ICFP '98, pages 174-184. ACM Press, 1998.
2. C. Elliott, S. Finne, and O. de Moor. Compiling embedded languages. Journal of Functional Programming, 13(2), 2003.
3. S. Kamin. Standard ML as a meta-programming language. Technical report, University of Illinois at Urbana-Champaign, 1996.
4. D. Leijen and E. Meijer. Domain specific embedded compilers. In Proc. 2nd USENLX Conference on Domain Specific Languages (DSL'99), pages 109-122, 1999.
5. S. Peyton Jones, D. Vytiniotis, S. Weirich, and G. Washburn. Simple unification-based type inference for GADTs. In Proc. ICFP '06, pages 50-61. ACM Press, 2006.
6. F. Pfenning and C. Elliott. Higher-order abstract syntax. In Proc. PLDI '88, pages 199-208. ACM Press, 1988.
7. T. Sheard and S. Peyton Jones. Template metaprogramming for Haskell. In Proc. Haskell Workshop '02, pages 1-16. ACM Press, 2002.