Richard B. Kieburtz

Available identifiers

Publication	Date of Publication	Type
Taming effects with monadic typing	2019-09-26	Paper
Taming effects with monadic typing	2017-08-21	Paper
Programmed strategies for program verification	2013-12-06	Paper
A logic for rewriting strategies	2013-07-24	Paper
The logic of demand in Haskell	2005-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4472529	2004-08-04	Paper
The design of Apple—A language for modular programs	1985-01-01	Paper
Access-Right Expressions	1983-01-01	Paper
On the Static Access-Control Mechanism in Concurrent Pascal	1982-01-01	Paper
The formal definition of a real-time language	1981-01-01	Paper
Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers	1980-01-01	Paper
Comments on “Communicating Sequential Processes”	1979-01-01	Paper
Capability Managers	1978-01-01	Paper
Extending Concurrent Pascal to Allow Dynamic Resource Management	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4164779	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5652223	1973-01-01	Paper
Compatibility and Complexity of Refinements of the Resolution Principle	1972-01-01	Paper
Construction of asymptotic solutions to scattering problems in the fourier transform representation	1965-01-01	Paper
VLF propagation in a compressible ionosphere	1964-01-01	Paper

This page was built for person: Richard B. Kieburtz