Michael Spivey
From MaRDI portal
Person:1816919
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 |
|---|---|---|
| On Barron and Strachey's Cartesian product function Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| When maybe is not good enough Journal of Functional Programming | 2013-06-28 | Paper |
| scientific article; zbMATH DE number 2086753 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1973217 (Why is no real title available?) | 2003-09-01 | Paper |
| Retroactive interference in neural netwoks and in humans: The effect of pattern-based learning Connection Science | 2002-02-28 | Paper |
| The consistency theorem for free type definitions in \(Z\) Formal Aspects of Computing | 2001-05-17 | Paper |
| Combinators for breadth-first search Journal of Functional Programming | 2001-03-20 | Paper |
| scientific article; zbMATH DE number 1543356 (Why is no real title available?) | 2001-02-27 | Paper |
| Richer types for \(Z\) Formal Aspects of Computing | 1996-12-01 | Paper |
Research outcomes over time
This page was built for person: Michael Spivey
