Martin Sulzmann  Home/Search
Context Related
| yale.edu/users/sulzmann...tr1128.ps.gz yale.edu/HTML/YALE/CS/H...tr1128.ps.gz yale.edu/pub/WWW/HTML/Y...tr1128.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: yale.edu/users/sul...publications (more) From: yale.edu/pub/WWW/H...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We explore the design space for type systems with polymorphic records. We design record systems for extension, concatenation and removal of fields. Furthermore, we design a record system where field labels become first class values. That means, we can now quantify over field lables and pass them around as arguments. All designed record systems enjoy type inference with principal types. Especially, we can combine any features into a new record system retaining type inference with principal... (Update)
Cited by: More
Type Inference for Record Concatenation and Subtyping - Palsberg, Zhao (2003) (Correct)
Similar documents (at the sentence level): More
22.6%: Type Systems for Records revisited - Sulzmann (1998) (Correct)
10.3%: Proofs of Soundness and Completeness of Type Inference for HM(X) - Sulzmann (1997) (Correct)
6.8%: Proofs of Properties about HM(X) - Sulzmann (1998) (Correct)
Active bibliography (related documents): More All
1.3: Designing Record Systems - Sulzmann (1997) (Correct)
0.4: A constraint-based View of Dependent Types - Sulzmann (1998) (Correct)
0.4: Hindley/Milner style type systems in constraint form - Sulzmann, Müller, Zenger (1999) (Correct)
Similar documents based on text: More All
0.6: Syntactic Type Soundness for HM(X) - Skalka (2002) (Correct)
0.5: An extension of HM(X) with first class existential and universal.. - Simonet (Correct)
0.4: An Extension of HM(X) with Bounded Existential and Universal.. - Simonet (Correct)
BibTeX entry: (Update)
Martin Sulzmann. Designing record systems. citeseer. nj.nec.com/sulzmann97designing.html, 1997. http://citeseer.ist.psu.edu/article/sulzmann97designing.html More
@misc{ sulzmann97designing,
author = "M. Sulzmann",
title = "Designing record systems",
text = "Martin Sulzmann. Designing record systems. citeseer. nj.nec.com/sulzmann97designing.html,
1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/sulzmann97designing.html" }
Citations (may not include all citations):634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
369 A semantics of multiple inheritance - Cardelli - 1984
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
88 Typechecking records and variants in a natural extension of .. (context) - R'emy - 1989
57 A record calculus based on symmetric concatenation - Harper, Pierce - 1991
54 A polymorphic record calculus and its compilation - Ohori - 1995
49 Equational term graph rewriting - Ariola, Klop - 1995
45 for object-oriented languages (context) - Bruce, Petersen et al. - 1997
40 Qualified Types: Theory and Practice (context) - Jones - 1992
38 Using parameterized signatures to express modular structure - Jones - 1996
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1997
30 Extending ML type system with a sorted equational theory (context) - R'emy - 1992
22 Corrigendum: Complete type inference for simple objects (context) - Wand - 1988
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988
19 Type inference with constrained types (context) - Sulzmann, Odersky et al. - 1997
19 Type inference with constrained types (context) - Sulzmann, Odersky et al.
19 North-Holland Publishing Company (context) - Henkin, Monk et al. - 1971
11 ACM Doctoral Dissertation Award Series (context) - Saraswat, Programming et al. - 1993
9 A case study of typechecking with constrained types: Typing .. (context) - R'emy - 1995
5 Technical Report LIX/RR (context) - Kennedy, equational - 1996
4 Extending record typing to type parametric modules with shar.. (context) - Aponte - 1993
4 A Polymporphic Type System for Extensible Records and Varian.. (context) - Gaster, Jones - 1996
4 Refined subtyping and row variables for record types (context) - R'emy - 1995
3 Type inference for recursivly constrainted types and its app.. (context) - Eifrig, Smith et al. - 1995
Documents on the same site (http://www.cs.yale.edu/users/sulzmann-martin/publications.html): More
Proofs of Properties about HM(X) - Sulzmann (1998) (Correct)
Analysis of Architectures using Constraint-Based Types - Peterson, Sulzmann (1998) (Correct)
Type Inference with Constrained Types - Sulzmann, Odersky, Wehr (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC