Ulf Norell
From MaRDI portal
Person:3183519
Available identifiers
zbMath Open norell.ulfMaRDI QIDQ3183519
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Dependently Typed Programming in Agda | 2009-12-03 | Paper |
| A Brief Overview of Agda – A Functional Language with Dependent Types | 2009-10-20 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Mathematics of Program Construction | 2005-08-26 | Paper |
| Implementation of Functional Languages | 2005-08-24 | 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: Ulf Norell
