 | 2009 |
|---|
| 13 |       | Ana Bove,
Luís Soares Barbosa,
Alberto Pardo,
Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer 2009 |
| 12 | | Ana Bove,
Peter Dybjer,
Ulf Norell:
A Brief Overview of Agda - A Functional Language with Dependent Types.
TPHOLs 2009: 73-78 |
| 2008 |
|---|
| 11 | | Ana Bove,
Peter Dybjer:
Dependent Types at Work.
LerNet ALFA Summer School 2008: 57-99 |
| 10 | | Ana Bove,
Venanzio Capretta:
A Type of Partial Recursive Functions.
TPHOLs 2008: 102-117 |
| 2007 |
|---|
| 9 | | Ana Bove,
Venanzio Capretta:
Computation by Prophecy.
TLCA 2007: 70-83 |
| 2005 |
|---|
| 8 | | Andreas Abel,
Marcin Benke,
Ana Bove,
John Hughes,
Ulf Norell:
Verifying haskell programs using constructive type theory.
Haskell 2005: 62-73 |
| 7 | | Ana Bove,
Venanzio Capretta:
Recursive Functions with Higher Order Domains.
TLCA 2005: 116-130 |
| 6 | | Ana Bove,
Venanzio Capretta:
Modelling general recursion in type theory.
Mathematical Structures in Computer Science 15(4): 671-708 (2005) |
| 2004 |
|---|
| 5 | | Ana Bove,
Thierry Coquand:
Formalising Bitonic Sort in Type Theory.
TYPES 2004: 82-97 |
| 2002 |
|---|
| 4 | | Ana Bove:
General Recursion in Type Theory.
TYPES 2002: 39-58 |
| 2001 |
|---|
| 3 | | 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 | | Ana Bove,
Laura Arbilla:
A Confluent Calculus of Macro Expansion and Evaluation.
LISP and Functional Programming 1992: 278-287 |
