Dan Grossman
From MaRDI portal
Person:2817721
Available identifiers
zbMath Open grossman.danMaRDI QIDQ2817721
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Ornaments for Proof Reuse in Coq | 2023-02-03 | Paper |
| Optimizing synthesis with metasketches | 2016-10-24 | Paper |
| Principals in programming languages | 2016-09-01 | Paper |
| Transactional events for ML | 2015-03-16 | Paper |
| AtomCaml | 2015-01-06 | Paper |
| High-level small-step operational semantics for transactions | 2014-09-12 | Paper |
| A theory of platform-dependent low-level software | 2014-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738343 | 2004-08-11 | Paper |
| Compiling for template-based run-time code generation | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532093 | 2002-05-28 | 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: Dan Grossman
