Operations on records

This publication has 17 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)
  Published by Association for Computing Machinery (ACM) ,1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971
• SIMULA: an ALGOL-based simulation language
  Communications of the ACM, 1966