Pebble, a kernel language for modules and abstract data types

DOI10.1016/0890-5401(88)90011-9MaRDI QIDQ1104071zbMATHOpenAlexFDO

Authors Butler Lampson, Rod Burstall

Publication date 1988

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(88)90011-9

zbMATH Keywords

modulesinterfacesrecursive typesabstract data typesinference rulesoperational semanticsgeneric typestyped lambda calculusunionsimplementationskernel languagePebble

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3880077
• Dependently typed records in type theory
• A modular module system
• scientific article; zbMATH DE number 3898212
• On the implementation of abstract data types by programming language constructs

Cites work

• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3584904 (Why is no real title available?)
• scientific article; zbMATH DE number 3635529 (Why is no real title available?)
• A theory of type polymorphism in programming
• An ideal model for recursive polymorphic types
• Edinburgh LCF. A mechanized logic of computation
• The next 700 programming languages

Cited in

(11)

• A higher-order calculus and theory abstraction
• Types for modules
• Meta-circular interpreter for a strongly typed language
• An ``executable impredicative semantics for the Ada configuration
• Manifest Fields and Module Mechanisms in Intensional Type Theory
• Generalization from partial parametrization in higher-order type theory
• Type checking with universes
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• Towards a computation system based on set theory
• The foundational legacy of ASL
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML

This page was built for publication: Pebble, a kernel language for modules and abstract data types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104071)