Norman Ramsey
From MaRDI portal
Person:2913926
Available identifiers
zbMath Open ramsey.normanMaRDI QIDQ2913926
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Exact Bayesian inference by symbolic disintegration | 2017-10-20 | Paper |
| Staged allocation | 2017-08-21 | Paper |
| Stochastic lambda calculus and monads of probability distributions | 2015-03-17 | Paper |
| An expressive language of signatures | 2015-01-06 | Paper |
| Embedding an interpreted language using higher-order functions and types | 2012-09-21 | Paper |
| Compiler Construction | 2007-09-28 | Paper |
| Compiler Construction | 2007-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472543 | 2004-08-04 | Paper |
| Pragmatic aspects of reusable program generators | 2003-01-01 | Paper |
| Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions | 2000-10-17 | 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: Norman Ramsey
