Do we need dependent types?

Journal of Functional Programming

Volumn 10, Issue 4, 2000, Pages 409-415

  Fridlender, Daniel ^a   Indrika, Mia ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034412737     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796800003658     Document Type: Article

References (8)

1. Augustsson, L. (1998) Cayenne - A Language with Dependent Types. Proc. Third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), pp. 239-250. ACM Press.
2. Danvy, O. (1998) Functional unparsing. J. Functional Programming, 8(6), 621-625.
3. Hinze, R. (1999) A Generic Programming Extension for Haskell. In: E. Meijer (ed), Proc. Third Haskell Workshop, Paris, France. (Technical Report UU-CS-1999-28, Department of Computer Science, Utrecht University.)
4. Jeuring, J. and Jansson, P. (1996) Polytypic Programming. In: E. Meijer and T. Sheard (eds), Advanced Functional Programming, pp. 68-114. Lecture Notes in Computer Science 1129. Springer-Verlag.
5. Nordström, B., Petersson, K. and Smith, J. (1990) Programming in Martin-Löf's Type Theory. An Introduction, pp. 98-100 Oxford University Press.
6. Peyton Jones, S. and Hughes, J. (eds). (1999a) Report on the Programming Language Haskell 98. http://www.haskell.org/onlinereport/
7. Peyton Jones, S. and Hughes, J. (eds). (1999b) Standard Libraries for the Haskell 98 Programming Language. http://www.haskell.org/onlinelibrary/
8. Wadler, P. (1990) Deforestation: Transforming Programs to Eliminate Trees. Theor. Comput. Sci. 73(2), 231-248.