Typing dynamic typing

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2002, Pages 157-166

  Baars, Arthur I ^a   Swierstra, S Doaitse ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Coercions; Dynamic typing; Haskell; Leibnitz rule; Quantified types; Static typing; Type equality; Typed interpreters

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DIGITAL LIBRARIES; PROGRAM COMPILERS; SEMANTICS;

DYNAMIC TYPING; HASKELL;

LOGIC PROGRAMMING;

EID: 0036953803     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581478.581494     Document Type: Conference Paper

References (17)

1. Martín Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
2. Martín Abadi, Luca Cardelli, Benjamin Pierce, and Didier Rémy. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):111-130, January 1995. Summary in ACM Sigplan Workshop on ML and its Applications, June 1992.
3. Luca Cardelli, Florian Matthes, and Martín Abadi. Extensible syntax with lexical scoping. Technical Report 121, Digital Systems Research Center, 1994.
4. Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical Report UU-CS-2001-26, Institute of Information and Computing Sciences, Utrecht University, 2001.
5. Dave Clarke and Andres Löh. Generic Haskell, specifically. In IFIP WG2.1 Working Conference on Generic Programming, 2002.
6. Fritz Henglein. Dynamic typing: syntax and proof theory. Science of Computer Programming, 22(3):197-230, June 1994. Selected papers of the Fourth European Symposium on Programming (Rennes, 1992).
7. B. M. Leavenworth. Syntax macros and extended translation. CACM, 9(11):790-793, 1966.
8. Xavier Leroy and Michael Mauny. Dynamics in ML. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, 5th ACM Conference, volume 523, pages 406-426, Berlin, Heidelberg, New York, 1991. Springer-Verlag.
9. Simon Peyton-Jones, John Hughes, and (eds). Report on the programming language Haskell 98. http://www.haskell.org/report, February 1998.
10. Simon L. Peyton Jones. Parsing distfix operators. CACM, 29:118-122, 1986.
11. Marco Pil. Dynamic types and type dependent functions. In Implementation of Functional Languages, 10th International Workshop, IFL'98, Volume 1595 of Lecture Notes in Computer Science, pages 169-185. Springer, 1999.
12. Rinus Plasmeijer and Marco van Eekelen. Clean language report version 2.0. http://www.cs.kun.nl/clean/, 2002.
13. Mark Shields, Tim Sheard, and Simon L. Peyton Jones. Dynamic typing as staged type inference. In Symposium on Principles of Programming Languages, pages 289-302, 1998.
14. Guy L. Steele Jr. Growing a language. Journal of Higher-Order and Symbolic Computation, 12:221-236, 1999.
15. Doaitse Swierstra. Combinator parsers: From toys to tools. In Graham Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier Science Publishers, 2001.
16. Stephanie Weirich. Type-safe cast. In Proceedings of the fifth ACM Sigplan international conference on Functional programming, pages 58-67. ACM Press, 2000.
17. Zhe Yang. Encoding types in ML-like languages. In Proceedings of the third ACM Sigplan international conference on Functional programming, pages 289-300. ACM Press, 1998.