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