Pebble, a kernel language for modules and abstract data types
type: Item
instance of: scholarly article
title: Pebble, a kernel language for modules and abstract data types
zbMATH Open document ID: 0646.68018
DOI: 10.1016/0890-5401(88)90011-9
published in: Information and Computation
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 4055004
zbMATH Keywords: kernel language
zbMATH Keywords: typed lambda calculus
zbMATH Keywords: modules
zbMATH Keywords: interfaces
zbMATH Keywords: implementations
zbMATH Keywords: abstract data types
zbMATH Keywords: generic types
zbMATH Keywords: recursive types
zbMATH Keywords: unions
zbMATH Keywords: Pebble
zbMATH Keywords: operational semantics
zbMATH Keywords: inference rules
author: Butler Lampson
author: Rod Burstall
describes a project that uses: ML
MaRDI profile type: Publication
full work available at URL: 0890-5401(88)90011-9
OpenAlex ID: W2039123207
cites work: Q4154049
cites work: Q3332229
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: The next 700 programming languages
cites work: An ideal model for recursive polymorphic types
cites work: Q4099613
cites work: A theory of type polymorphism in programming
cites work: Q4195975
cites work: Q4068054
description: scientific article; zbMATH DE number 4055004