Iterative type inference with attribute grammars - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. Iterative type inference with attribute grammars. In Eelco Visser, Jaakko Järvi, editors, Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010. pages 43-52, ACM, 2010. [doi]

The following publications are possibly variants of this publication:

Iterative Type Inference with Attribute GrammarsArie Middelkoop, S. Doaitse Swierstra, Atze Dijkstra. GPCE 2010:

Typing Haskell with an Attribute GrammarAtze Dijkstra, S. Doaitse Swierstra. afp 2005: 1-72 [doi]

Ruler: Programming Type RulesAtze Dijkstra, S. Doaitse Swierstra. FLOPS 2006: 30-46 [doi]

runs on WebDSL