Atsushi Ohori  Home/Search
Context Related
Links: ACM DBLP | jaist.ac.jp/~ohori/recordcalc.ps 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: jaist.ac.jp/~ohori/list (more) Homepages: A.Ohori |
Rate this article:      (best)Comment on this article |
Abstract: this article appeared in Proceedings of ACM Symposium on Principles of Programming Languages, 1992, under the title \A compilation method for ML-style polymorphic record calculi." This work was partly supported by the Japanese Ministry of Education under scienti c research grant no. 06680319. Author's address: Research Institute for Mathematical Sciences, Kyoto University, Sakyo-ku, Kyoto 606-01, JAPAN; email: ohori@kurims.kyoto-u.ac.jp Permission to copy without fee all or part of this... (Update)
Cited by: More
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
System F with Width-subtyping and Record Updating - Poll (1997) (Correct)
Register Allocation by Proof Transformation - Atsushi Ohori Japan (Correct)
Active bibliography (related documents): More All
1.4: Type-Directed Specialization of Polymorphism - Ohori (1999) (Correct)
0.9: An Unboxed Operational Semantics for ML Polymorphism - Ohori, Takamizawa (1997) (Correct)
0.6: Type Directed Specialization of Polymorphism - Ohori (1999) (Correct)
Similar documents based on text: More All
0.1: Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993) (Correct)
0.1: A Compilation Method for ML-Style Polymorphic Record Calculi - Ohori (1992) (Correct)
0.1: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (Correct)
Related documents from co-citation: More All
19: Principal type schemes for functional programs (context) - Damas, Milner - 1982
19: A theory of type polymorphism in programming (context) - Milner - 1978
16: A second look at overloading - Odersky, Wadler et al. - 1995
BibTeX entry: (Update)
Atsushi Ohori. A polymorphic record calculus and its compilation. TOPLAS, 17(6):805--843, November 1995. http://citeseer.ist.psu.edu/ohori95polymorphic.html More
@article{ ohori95polymorphic,
author = "Atsushi Ohori",
title = "A Polymorphic Record Calculus and Its Compilation",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "17",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "844--895",
year = "1995",
url = "citeseer.ist.psu.edu/ohori95polymorphic.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965 ACM DBLP
484 Common LISP: The Language (context) - Steele - 1984 ACM
388 On understanding types (context) - Cardelli, Wegner - 1985
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
325 Towards a theory of type structure (context) - Reynolds - 1974
190 How to make ad hoc polymorphism less ad hoc - Wadler, Blott - 1989
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
162 Unboxed objects and polymorphic typing - Leroy - 1992
139 Type systems for programming languages (context) - Mitchell - 1990 ACM DBLP
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
103 The Denition of Standard ML (context) - Milner, Tofte et al. - 1990
88 Typechecking records and variants in a natural extension of .. (context) - emy - 1989 DBLP
78 Soft typing - Cartwright, Fagan - 1991 ACM DBLP
75 A syntactic theory of sequential control (context) - Felleisen, Friedman et al. - 1987
71 Operations on records - Cardelli, Mitchell - 1989 ACM DBLP
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991 ACM DBLP
57 A record calculus based on symmetric concatenation - Harper, Pierce - 1991 ACM DBLP
57 Type inference for records in a natural extension of ML (context) - emy
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992 ACM DBLP
47 Extensible records in a pure calculus of subtyping - Cardelli - 1994 ACM
41 Type inference with subtypes (context) - Fuh, Mishra - 1988 ACM DBLP
30 the type structure of Standard ML - Harper, Mitchell - 1993
28 The semantics of second-order lambda calculus (context) - Bruce, Meyer et al. - 1990 ACM DBLP
24 Polymorphism and type inference in database programming - Buneman, Ohori - 1995 ACM DBLP
24 Type inference with subtypes (context) - Stansifer - 1988 ACM DBLP
23 Semantics of types for database objects (context) - Ohori - 1990
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988
22 Extensional models for polymorphism (context) - Breazu-Tannen, Coquand - 1988 ACM DBLP
22 Corrigendum : Complete type inference for simple object (context) - Wand - 1988
16 A process-calculus approach to typed concurrent objects (context) - Vasconcelos - 1994
16 Fundamental properties of innite trees (context) - Courcelle - 1983
14 Type inference with extended pattern matching and subtypes (context) - Jategaonkar, Mitchell - 1993
13 Unrolling lists - Shao, Reppy et al. - 1994 ACM DBLP
13 Typing record concatenation for free (context) - emy - 1992 ACM DBLP
12 A simple semantics for ML polymorphism (context) - Ohori - 1989 ACM DBLP
10 An object addressing mechanism for statically typed language.. (context) - Connor, Dearle et al. - 1989 ACM
7 Type inference for records concatenation and simple objects (context) - Wand - 1989
6 Using Hindley-Milner type inference to optimize list represe.. (context) - Hall - 1994
5 A polymorphic unboxed calculus as an abstract machine for po.. (context) - Ohori, Takamizawa - 1995
5 Type inference and type containment (context) - Mitchell - 1984 DBLP
4 Inheritance as explicit coercion (context) - Breazu-Tannen, Coquand et al. - 1991
4 Une extension de l'interpretation de godel a l'analyse (context) - Girard - 1971
4 Complete sets of transformations for general E-unication (context) - Gallier, Snyder - 1989
2 Ecient representation of extensible records - emy
2 Type class in Haskell (context) - Hall, Hammond et al. - 1994
1 Implementing type classes (context) - Record, Its et al. - 1993 ACM DBLP
1 A label selective lambda calculus with optional argument and.. (context) - in, Science et al. - 1995
1 Extendible hashing | a fast access method for dynamic les (context) - Fagin, Nievergelt et al. - 1979
1 The typed polymorphic label-selective calculus (context) - Comput, Garrigue et al. - 1994
1 A semantics of multiple inheritance (context) - Trans, to et al. - 1988 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.jaist.ac.jp/~ohori/list.html): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001) (Correct)
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999) (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