Back to Results
First PageMeta Content
Functional languages / Eval / Haskell / Type system / OCaml / Conditional / Typedef / Read–eval–print loop / Template metaprogramming / Software engineering / Computing / Computer programming


DSL Implementation in MetaOCaml, Template Haskell, and C++ Krzysztof Czarnecki1 , John O’Donnell2 , J¨org Striegnitz3 , and Walid Taha4
Add to Reading List

Document Date: 2010-05-30 08:33:30

Open Document

File Size: 191,96 KB

Share Result on Facebook

Country

Germany / United Kingdom / /

Facility

Canada University of Glasgow / University of Waterloo / Rice University / /

IndustryTerm

pretty printing / nontrivial type systems / type systems / type-systems / static type systems / /

Organization

Canada University of Glasgow / Rice University / University of Waterloo / /

Position

above interpreter / Staged QBF Interpreter An interpreter / DSL programmer / MetaOCaml interactive bytecode interpreter / translator / QBF Interpreter / staged interpreter / Haskell programmer / interpreter / programmer / /

ProgrammingLanguage

Haskell / C++ / /

Technology

functional programming / DSL / /

SocialTag