scientific article; zbMATH DE number 3880077
From MaRDI portal
Publication:3345748
zbMATH Open0552.68009MaRDI QIDQ3345748FDOQ3345748
Authors: Rod Burstall, Butler Lampson
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
modulesinterfacesrecursive typesabstract data typesinference rulesoperational semanticsgeneric typestyped lambda calculusunionsimplementations
Cited In (17)
- Categorical ML -- category-theoretic modular programming
- Why adjunctions matter -- a functional programmer perspective
- Retractions of dI-domains as a model for Type:Type
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- Title not available (Why is that?)
- Encapsulation constructs in systems programming languages
- A simple and general theoretical account for abstract types
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- Types for modules
- The design of Apple—A language for modular programs
- On the classification of binding mechanisms
- A note on Russell's paradox in locally Cartesian closed categories
- Pebble, a kernel language for modules and abstract data types
- Title not available (Why is that?)
- G: A functional language with generic abstract data types
- A calculus for reasoning about software composition
- A view of programming languages as symbiosis of meaning and computations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3345748)