Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Lampson, B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Pebble, a kernel language for modules and abstract data types
B. Lampson
,
R. Burstall
Information and Computation
76
(2/3), 1988, pp. 278-346
A kernel language for modules and abstract data types
R. Burstall
,
B. Lampson
Technical Report, 1984, September
Proof rules for the programming language Euclid
R.L. London
,
J.V. Guttag
,
J.J. Horning
,
B.W. Lampson
,
J.G. Mitchell
,
G.J. Popek
Acta Informatica
10
(1), 1978, pp. 1-26