Two-level types and parameterized modules

Journal of Functional Programming

Volumn 14, Issue 5, 2004, Pages 547-587

  Sheard, Tim ^a   Pasalic, Emir ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; MODULAR LANGUAGES; PARAMETERIZED MODULES; TWO-LEVEL TYPES;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DATA STRUCTURES; PARAMETER ESTIMATION; RECURSIVE FUNCTIONS;

COMPUTER PROGRAMMING;

EID: 4444340672     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680300488X     Document Type: Article

References (30)

1. Cardelli, L. (1987) Basic polymorphic typechecking. Sci. Comput. Program. 8(2), 147-172.
2. Harper, R. and Lillibridge, M. (1994) A type-theoretic approach to higher-order modules with sharing. Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 123-137. Portland, OR. ACM Press.
3. Harper, R. and Pierce, B. C. (2000) Advanced module systems (invited talk): a guide for the perplexed. ACM SIGPLAN Notices, 35(9), 130-130.
4. Hinze, R. (1999) A generic programming extension for Haskell. Proceedings of the Third Haskell Workshop, Paris France, Sept. 1999, University of Utrecht, Technical Report, UU-CS-1999-28.
5. Hinze, R. (2000a) A new approach to generic functional programming. Proceedings 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), pp. 119-132. ACM Press.
6. Hinze, R. (2000b) Memo functions, polytypically! In: Jeuring, J. (editor), Proceedings 2nd Workshop on Generic Programming, WGP'2000, pp. 119-132. Ponte de Lima, Portugal.
7. Jansson, P. and Jeuring, J. (1997) Poly P - a polytypic programming language extension. Conference Record of POPL '97, 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 470-482. Paris, France. ACM Press.
8. Jansson, P. and Jeuring, J. (1998) Functional pearl: Polytypic unification. J. Functional programming, 8(5), 527-536.
9. Jeuring, Johan, & Jansson, P. (1996) Polytypic programming. In: Launchbury, J., Meijer, E. and Sheard, T. (editors), Tutorial Text 2nd International School on Advanced Functional Programming: Lecture Notes in Computer Science 1129, pp. 68-114. Springer-Verlag.
10. Jones, M. (2000) Type classes and functional dependencies. Proceedings 9th European Symposium on Programming, ESOP 2000: Lecture Notes in Computer Science 1782. Springer-Verlag.
11. Jones, M. P. (1996) Using parameterized signatures to express modular structure. 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pp. 68-78. St. Petersburg Beach, Florida.
12. Jones, M. P. (1999) Typing Haskell in Haskell. Proceedings Haskell Workshop, pp. 68-78. (Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht.)
13. Lämmel, R. and Peyton Jones, S. (2003) Scrap your boilerplate: a practical design pattern for generic programming. Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003). ACM Press.
14. Lämmel, R. and Visser, J. (2000) Type-safe functional strategies. Draft Proceedings SFP'00, St. Andrews.
15. Lämmel, R. (2002) Typed generic traversal with term rewriting strategies. J. Logic & Algebraic Program. 54(September). (Also available as arXiv technical report cs.PL/0205018.)
16. Lämmel, R. (2002) Typed generic traversal with term rewriting strategies. J. Logic & Algebraic Program. 54(September). (Also available as arXiv technical report cs.PL/0205018.)
17. Launchbury, J. and Peyton-Jones, S. (1994) Lazy functional state threads. PLDI'94: Programming Language Design and Implementation, pp. 24-35. Orlando, FL. ACM Press.
18. Leijen, D. and Meijer, E. (2001) Parsec: Direct style monadic parser combinators for the real world. Technical report UU-CS-2001-35, Departement of Computer Science, Universiteit Utrecht.
19. Liang, S. and Hudak, P. (1996) Modular denotational semantics for compiler construction. Programming Languages and Systems - ESOP'96, Proc. 6th European Symposium on Programming: Lecture Notes in Computer Science 1058, pp. 219-234. Springer-Verlag.
20. Liang, S., Hudak, P. and Jones, M. (1995a) Monad transformers and modular interpreters. Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 333-343. ACM.
21. Liang, S., Hudak, P. and Jones, M. (1995b) Monad transformers and modular interpreters. Conference Record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 333-343. ACM Press.
22. Odersky, M. and Läufer, K. (1996) Putting type annotations to work. Conference Record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 54-67. St. Petersburg Beach, FL. ACM Press.
23. Sheard, T. (2001) Generic unification via two-level types and parameterized modules. In: Norris, C. and Fenwick, Jr. J. B. (editors), Proceedings Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP-01), pp. 86-97. ACM Press. (Also in ACM SIGPLAN Notices, 36(10).)
24. Sheard, T. (2001) Generic unification via two-level types and parameterized modules. In: Norris, C. and Fenwick, Jr. J. B. (editors), Proceedings Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP-01), pp. 86-97. ACM Press. (Also in ACM SIGPLAN Notices, 36(10).)
25. Sheard, T. and Peyton Jones, S. (2002) Template meta-programming for Haskell. Proceedings Workshop on Haskell, pp. 1-16. ACM Press.
26. Sheard, T., El-Abidine Benaissa, Z. and Pasalic, E. (1999) DSL implementation using staging and monads. Domain-Specific Languages, Proceedings of the 2nd Conference on Domain Specific Languages. Austin, Texas, Oct. 3-5, 1999, 8.1-94. (Reprinted as Sigplan Notices, Vol 35, No. 1, Jan. 2000.)
27. Sheard, T., El-Abidine Benaissa, Z. and Pasalic, E. (1999) DSL implementation using staging and monads. Domain-Specific Languages, Proceedings of the 2nd Conference on Domain Specific Languages. Austin, Texas, Oct. 3-5, 1999, 8.1-94. (Reprinted as Sigplan Notices, Vol 35, No. 1, Jan. 2000.)
28. Steele, Jr., G. L. (1994) Building interpreters by composing monads. Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 472-492. Portland, OR. ACM Press.
29. Taha, W. and Sheard, T. (1997) Multi-stage programming with explicit annotations. Partial Evaluation and Semantics-based Program Manipulation, pp. 203-217. Amsterdam, The Netherlands. ACM.
30. Winstanley, N. (1997) A type-sensitive preprocessor for Haskell. Glasgow Workshop on Functinal Programming, Ullapool, Scotland.