Butler Lampson

MaRDI QIDQ1249427zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Programming concurrent systems	2024-10-28	Paper
Analysis and caching of dependencies Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96	2016-09-01	Paper
scientific article; zbMATH DE number 5245258 (Why is no real title available?)	2008-03-06	Paper
Revisiting the PAXOS algorithm Theoretical Computer Science	2000-08-21	Paper
Pebble, a kernel language for modules and abstract data types Information and Computation	1988-01-01	Paper
scientific article; zbMATH DE number 3880077 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3621083 (Why is no real title available?)	1979-01-01	Paper
Proof rules for the programming language Euclid Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3464854 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3459856 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3463155 (Why is no real title available?)	1974-01-01	Paper
A scheduling philosophy for multiprocessing systems Communications of the ACM	1968-01-01	Paper

Research outcomes over time

This page was built for person: Butler Lampson