Kathleen Fisher

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
One step at a time. A functional derivation of small-step evaluators from big-step counterparts Programming Languages and Systems	2023-11-24	Paper
A calculus for concurrent objects CONCUR '96: Concurrency Theory	2023-06-28	Paper
A Verified LL(1) Parser Generator	2023-02-03	Paper
A delegation-based object calculus with subtyping Fundamentals of Computation Theory	2022-12-09	Paper
An expressive language of signatures Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Reasoning about lock placements Programming Languages and Systems	2012-06-22	Paper
scientific article; zbMATH DE number 2241918 (Why is no real title available?)	2005-12-28	Paper
Inheritance-based subtyping Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1629943 (Why is no real title available?)	2001-11-06	Paper
scientific article; zbMATH DE number 1479647 (Why is no real title available?)	2000-07-20	Paper
scientific article; zbMATH DE number 1088218 (Why is no real title available?)	1997-11-17	Paper
scientific article; zbMATH DE number 720178 (Why is no real title available?)	1996-06-25	Paper

Research outcomes over time

This page was built for person: Kathleen Fisher