Scott F. Smith

Available identifiers

Publication	Date of Publication	Type
From operational to denotational semantics	2023-08-16	Paper
A set-based context model for program analysis	2021-07-08	Paper
Relative Store Fragments for Singleton Abstraction	2019-09-16	Paper
Reflective semantics of constructive type theory	2017-11-17	Paper
Types for flexible objects	2016-02-26	Paper
Type-specialized staged programming with process separation	2013-01-08	Paper
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification	2008-05-15	Paper
Types and trace effects of higher order programs	2008-03-27	Paper
Programming Languages and Systems	2005-08-17	Paper
Specification diagrams for actor systems	2003-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2779233	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2763691	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2729061	2001-11-06	Paper
The coverage of operational semantics	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4251113	2000-01-09	Paper
A foundation for actor computation	1997-06-04	Paper
From operational semantics to domain theory	1996-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4283243	1996-04-16	Paper
HYBRID PARTIAL-TOTAL TYPE THEORY	1995-10-29	Paper
A variable typed logic of effects	1995-08-01	Paper
Computational foundations of basic recursive function theory	1994-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4028336	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3216141	1983-01-01	Paper

This page was built for person: Scott F. Smith