scientific article; zbMATH DE number 3880077

zbMATH Open0552.68009MaRDI QIDQ3345748FDOQ3345748

Authors: Rod Burstall, Butler Lampson 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• Pebble, a kernel language for modules and abstract data types
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• A modular module system
• An abstract, reusable, and extensible programming language design architecture

zbMATH Keywords

modulesinterfacesrecursive typesabstract data typesinference rulesoperational semanticsgeneric typestyped lambda calculusunionsimplementations

Mathematics Subject Classification ID

Data structures (68P05) Combinatory logic and lambda calculus (03B40)

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)