Ruler: Programming type rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3945 LNCS, Issue , 2006, Pages 30-46

  Dijkstra, Atze ^a   Doaitse Swierstra, S ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FORMAL LANGUAGES; INFORMATION SCIENCE; THEOREM PROVING;

DOMAIN SPECIFIC LANGUAGES; FORMAL DESCRIPTION; GRAMMAR BASED IMPLEMENTATION; LANGUAGE EXTENSIONS;

COMPUTER PROGRAMMING;

EID: 33745827697     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_4     Document Type: Conference Paper

References (24)

1. Projet CROAP. Design and Implementaiton of Programming Tools, http://www-sop.inria.fr/croap/, 1999.
2. Hugs 98. http://www.haskell.org/hugs/, 2003.
3. ASF+SDF. http://www.cwi.nl/htbin/senl/twiki/bin/view/SENl/ASF+SDF, 2005.
4. Literate Programming, http://www.literateprogramming.com/, 2005.
5. Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, and Benjamin C. Pierce. Mechanized metatheory for the masses: The POPLmark challenge. In The 18th International Conference on Theorem Proving in Higher Order Logics, 2005.
6. Atze Dijkstra. EHC Web. http://www.cs.uu.nl/groups/ST/Ehc/WebHome, 2004.
7. Atze Dijkstra. Stepping through Haskell. PhD thesis, Utrecht University, Department of Information and Computing Sciences, 2005.
8. Atze Dijkstra and S. Doaitse Swierstra. Typing Haskell with an Attribute Grammar. In Advanced Functional Programming Summerschool, number 3622 in LNCS. Springer-Verlag, 2004.
9. Atze Dijkstra and S. Doaitse Swierstra. Making Implicit Parameters Explicit. Technical report, Utrecht University, 2005.
10. Dominic Duggan and John Ophel. Type-Checking Multi-Parameter Type Classes. Journal of Functional Programming, 2002.
11. Karl-Filip Faxen. A Static Semantics for Haskell. Journal of Functional Programming, 12(4):295, 2002.
12. GrammaTech. Synthesizer Generator, http://www.grammatech.com/products/sg/overview.html, 2005.
13. Robert Harper. Mechanizing Language Definitions (invited lecture at ICFP05). http://www.cs.cmu.edu/~rwh/, 2005.
14. Bastiaan Heeren and Jurriaan Hage. Type Class Directives. In Seventh International Symposium on Practical Aspects of Declarative Languages, pages 253-267. Springer-Verlag, 2005.
15. Bastiaan Heeren, Jurriaan Hage, and S. Doaitse Swierstra. Generalizing Hindley-Milner Type Inference Algorithms. Technical Report UU-CS-2002-031, Institute of Information and Computing Science, University Utrecht, Netherlands, 2002.
16. Mark P. Jones. Qualified Types, Theory and Practice. Cambridge Univ. Press, 1994.
17. Mark P. Jones. Typing Haskell in Haskell. http://www.cse.ogi.edu/~mpj/thih/, 2000.
18. Michael Y. Levin and Benjamin C. Pierce. TinkerType: A Language for Playing with Formal Systems, http://www.cis.upenn.edu/~milevin/tt.html, 1999.
19. Simon Marlow. The Glasgow Haskell Compiler, http://www.haskell.org/ghc/, 2004.
20. Simon Peyton Jones. Haskell 98, Language and Libraries, The Revised Report. Cambridge Univ. Press, 2003.
21. Simon Peyton Jones, Mark Jones, and Erik Meijer. Type classes: an exploration of the design space. In Haskell Workshop, 1997.
22. Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002.
23. Rob Simmons. The Twelf Project (Wiki Home), http://fp.logo-sphere.cs.cmu.edu/twelf/, 2005.
24. Eelco Visser. Stratego Home Page, http://www.program-transformation.org/Stratego/WebHome, 2005.