Kathleen Fisher
From MaRDI portal
Person:1854550
Available identifiers
zbMath Open fisher.kathleenMaRDI QIDQ1854550
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 | 2023-11-24 | Paper |
| A calculus for concurrent objects | 2023-06-28 | Paper |
| A Verified LL(1) Parser Generator | 2023-02-03 | Paper |
| A delegation-based object calculus with subtyping | 2022-12-09 | Paper |
| An expressive language of signatures | 2015-01-06 | Paper |
| Reasoning about Lock Placements | 2012-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714259 | 2005-12-28 | Paper |
| Inheritance-based subtyping | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729055 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490764 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364534 | 1997-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4322072 | 1996-06-25 | Paper |
Research outcomes over time
This page was built for person: Kathleen Fisher
