Scott F. Smith

Available identifiers

zbMath Open smith.scott-fMaRDI QIDQ1314347

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2704330	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Scott F. Smith