Formatting: A class act

Journal of Functional Programming

Volumn 13, Issue 5, 2003, Pages 935-944

  Hinze, Ralf ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

HASKELL;

COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; SET THEORY;

MATHEMATICAL PROGRAMMING;

EID: 0042411218     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796802004367     Document Type: Review

References (8)

1. Augustsson, L. (1999) Cayenne - a language with dependent types. SIGPLAN Notices, 34(1): 239-250.
2. Danvy, O. (1998) Functional unparsing. J. Functional Programming, 8(6): 621-625.
3. Gasbichler, M., Neubauer, M., Sperber, M. and Thiemann, P. (2002) Functional logic overloading. Proceedings 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL' 02), Portland, OR.
4. Hallgren, T. (2001) Fun with functional dependencies. Proceedings Joint CS/CE Winter Meeting, pp. 135-145. Department of Computing Science, Chalmers, Göteborg, Sweden.
5. Jones, M. P. (2000) Type classes with functional dependencies. In: Smolka, G., (editor), Proceedings 9th European Symposium on Programming, ESOP 2000: Lecture Notes in Computer Science 1782, pp. 230-244. Berlin, Germany. Springer-Verlag.
6. McBride, C. (2002) Faking it (simulating dependent types in Haskell). J. Functional Programming. To appear.
7. Neubauer, M., Thiemann, P., Gasbichler, M. and Sperber, M. (2001) A functional notation for functional dependencies. In: Hinze, R. (editor), Proceedings 2001 ACM SIGPLAN Haskell Workshop, pp. 101-120. Firenze, Italy.
8. Wadler, P. (1989) Theorems for free! Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89), pp. 347-359. London, UK, Addison-Wesley.