William L. Harrison
From MaRDI portal
Person:2721102
Available identifiers
zbMath Open harrison.william-lMaRDI QIDQ2721102
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5099992 | 2022-08-26 | Paper |
| Distributed Modal Logic | 2020-08-07 | Paper |
| Distributed Relation Logic | 2018-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904043 | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3105666 | 2012-01-05 | Paper |
| The Essence of Multitasking | 2009-04-28 | Paper |
| Asynchronous Exceptions as an Effect | 2008-08-28 | Paper |
| Proof Abstraction for Imperative Languages | 2008-05-06 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| The logic of demand in Haskell | 2005-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445773 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721103 | 2001-07-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: William L. Harrison
