Type-indexed rows

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 3, 2001, Pages 261-275

  Shields, Mark ^a   Meijer, Erik ^b  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17644402124     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/373243.360230     Document Type: Article

References (31)

1. A. Aiken. Introduction to set constraint-based program analysis. Science of Computer Programming, 35:79-111, 1999.
2. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Proceedings of the ACM SIGPLAN Conference on Functional Programming Languages and Computer Architecture (FPCA '93), Copenhagen, Denmark, pages 31-41, Jun 1993.
3. F. Barbanera, M. Dezani-Ciancaglini, and U. de'Liguoro. Intersection and union types: Syntax and semantics. Information and Computation, 119(2):202-230, Jun 1995.
4. A. Brüggemann-Klein and D. Wood. Unambiguous regular expressions and SGML document grammars. Technical Report 337, Computer Science Department, University of Western Ontario, London, Ontario, Canada, Nov 1992.
5. P. Buneman and B. Pierce. Union types for semistructured data. In Proceedings of the International Database Programming Languages Workshop (DBPL-7), Kinloch Rannoch, Scotland, Sep 1999. Also available as University of Pennsylvania Dept. of CIS technical report MS-CIS-99-09.
6. L. Cardelli and J. Mitchell. Operations on records. Mathematical Structures in Computer Science, 1(1):3-48, Mar 1991.
7. B. R. Gaster and M. P. Jones. A polymorphic type system for extensible records and variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, Nov 1996.
8. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. The Java Series, Sun Microsystems. Addison-Wesley, 1996.
9. R. Harper and B. Pierce. A record calculus based on symmetric concatenation. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL'91), Orlando, Florida, pages 131-142, Jan 1991.
10. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Canada, pages 11-22, Sep 2000.
11. M. Jones and S. Peyton Jones. Lightweight extensible records for Haskell. In Proceedings of the 1999 Haskell Workshop, Paris, France, Oct 1999. Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht.
12. M. P. Jones. Qualified Types: Theory and Practice. Distinguished Dissertations in Computer Science. Cambridge University Press, 1994.
13. M. P. Jones. Simplifying and improving Qualified Types. In Proceedings of the ACM SIGPLAN Conference on Functional Programming Languages and Computer Architecture (FPCA'95), La Jolla, California, pages 160-169, Jun 1995.
14. J. Lewis, M. Shields, E. Meijer, and J. Launchbury. Implicit parameters: Dynamic scoping with static types. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, pages 108-118, Jan 2000.
15. D. MacQueen, G. Plotkin, and R. Sethi. An ideal model for recursive polymorphic types. In Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages (POPL'84), Salt Lake City, Utah, pages 165-174, 1984.
16. E. Meijer and M. Shields. XMλ: A functional language for constructing and manipulating XML documents. (Unpublished. Draft available at http://www.cse.ogi.edu/~mbs), 1999.
17. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2000), Dallas, Texas, pages 11-22, May 2000.
18. M. Odersky, M. Sulzmann, and M. Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1):35-55, 1999.
19. A. Ohori. A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems, 17(6):844-895, Nov 1995. Earlier version appears in POPL'93, pp. 99-112.
20. S. Peyton Jones and J. Hughes. Haskell 98: A Nonstrict, Purely Functional Language, Feb 1999. Available at http://www.haskell.org/onlinereport/.
21. B. C. Pierce. Intersection types and bounded polymorphism. Mathematical Structures in Computer Science, 7(2):129-193, Apr 1997.
22. D. Rémy. Typing record concatenation for free. In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages (POPL'92), Albuquerque, New Mexico, pages 166-176, Jan 1992.
23. D. Rémy. Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. The MIT Press, 1993. Earlier verision appears in POPL'89, pp. 77-87.
24. J. C. Reynolds. Design of the programming language FORSYTHE. In P. W. O'Hearn and R. D. Tennent, editors, ALGOL-like Languages, pages 173-233. Birkhäuser, 1997.
25. M. Shields. Static Types for Dynamic Documents. PhD thesis, Oregon Graduate Institute, Jan 2001. (To appear. Draft available at http://vw.cse.ogi.edu/~mbs).
26. F. Stolzenburg. An algorithm for general set unification and its complexity. Journal of Automated Reasoning, 22(1):45-63, Jan 1999.
27. W3C. Extensible Markup Language, 2000. Available at http://vww.w3.org/XML/.
28. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89), Austin, Texas, pages 60-76, Jan 1989.
29. M. Wallace and C. Ranciman. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), Paris, France, pages 148-159, Sep 1999.
30. M. Wand. Complete type inference for simple objects. In Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science, (LICS'87), Ithaca, New York, pages 37-44, Jun 1987. Corrigendum in LICS'88, p. 132.
31. M. Wand. Type inference for record concatenation and multiple inheritance. Information and Computation, 93(1):1-15, Jul 1991.