Härmel Nestra
From MaRDI portal
Person:843214
Available identifiers
zbMath Open nestra.harmelWikidataQ12364170 ScholiaQ12364170MaRDI QIDQ843214
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 |
|---|---|---|
| Grammars for Indentation-Sensitive Parsing | 2020-05-26 | Paper |
| Laws of monadic error handling | 2019-12-12 | Paper |
| Double applicative functors | 2018-11-23 | Paper |
| On Slicing of Programs with Input Statements | 2013-10-04 | Paper |
| Transfinite semantics in the form of greatest fixpoint | 2009-09-29 | Paper |
| Fractional Semantics | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310900 | 2007-10-15 | Paper |
| Transfinite corecursion | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793112 | 2003-02-18 | Paper |
Research outcomes over time
This page was built for person: Härmel Nestra
