Peter Thiemann. Programmable Type Systems for Domain Speci c Languages. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Embedded Domain-Specific Language for Type-Safe Server-Side.. - Thiemann (2003) Self-citation (Thiemann) (Correct)
....general. We have taken every e ort to keep the design as simple and intuitive as possible. One deliberate guideline was not to create a new language but to adhere to the Haskell98 standard [15] Although it is tempting to rely on one of the many implemented extensions to the Haskell type system [34], there were satisfactory solutions to the document validation problem (see Section 3.2) the treatment of submission buttons with decision trees (see Section 5.7) and a problem with the lifetime of input handles completely within the Haskell98 language. The document sublanguage guarantees ....
P. Thiemann. Programmable type systems for domain speci c languages. In M. Comini and M. Falaschi, editors, Selected Papers of Workshop on Functional and Logic Programming, WFLP 2002.
DSL Implementation in MetaOCaml, Template Haskell, and.. - Czarnecki, O'Donnell.. (Correct)
No context found.
Peter Thiemann. Programmable Type Systems for Domain Speci c Languages. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC