| 2008 |
|---|
| 10 | EE | Ana Bove,
Venanzio Capretta:
A Type of Partial Recursive Functions.
TPHOLs 2008: 102-117 |
| 2007 |
|---|
| 9 | EE | Ana Bove,
Venanzio Capretta:
Computation by Prophecy.
TLCA 2007: 70-83 |
| 2005 |
|---|
| 8 | EE | Andreas Abel,
Marcin Benke,
Ana Bove,
John Hughes,
Ulf Norell:
Verifying haskell programs using constructive type theory.
Haskell 2005: 62-73 |
| 7 | EE | Ana Bove,
Venanzio Capretta:
Recursive Functions with Higher Order Domains.
TLCA 2005: 116-130 |
| 6 | EE | Ana Bove,
Venanzio Capretta:
Modelling general recursion in type theory.
Mathematical Structures in Computer Science 15(4): 671-708 (2005) |
| 2004 |
|---|
| 5 | EE | Ana Bove,
Thierry Coquand:
Formalising Bitonic Sort in Type Theory.
TYPES 2004: 82-97 |
| 2002 |
|---|
| 4 | EE | Ana Bove:
General Recursion in Type Theory.
TYPES 2002: 39-58 |
| 2001 |
|---|
| 3 | EE | Ana Bove,
Venanzio Capretta:
Nested General Recursion and Partiality in Type Theory.
TPHOLs 2001: 121-135 |
| 2 | | Ana Bove:
Simple General Recursion in Type Theory.
Nord. J. Comput. 8(1): 22-42 (2001) |
| 1992 |
|---|
| 1 | EE | Ana Bove,
Laura Arbilla:
A Confluent Calculus of Macro Expansion and Evaluation.
LISP and Functional Programming 1992: 278-287 |
