
Search the dblp DataBase
Ana Bove:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ana Bove, Laura Arbilla
A Confluent Calculus of Macro Expansion and Evaluation. [Citation Graph (1, 0)][DBLP] LISP and Functional Programming, 1992, pp:278287 [Conf]
 Ana Bove, Venanzio Capretta
Recursive Functions with Higher Order Domains. [Citation Graph (0, 0)][DBLP] TLCA, 2005, pp:116130 [Conf]
 Ana Bove, Venanzio Capretta
Nested General Recursion and Partiality in Type Theory. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:121135 [Conf]
 Ana Bove
General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:3958 [Conf]
 Ana Bove, Thierry Coquand
Formalising Bitonic Sort in Type Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:8297 [Conf]
 Ana Bove, Venanzio Capretta
Modelling general recursion in type theory. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:671708 [Journal]
 Ana Bove
Simple General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2001, v:8, n:1, pp:2242 [Journal]
 Ana Bove, Venanzio Capretta
Computation by Prophecy. [Citation Graph (0, 0)][DBLP] TLCA, 2007, pp:7083 [Conf]
 Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. [Citation Graph (0, 0)][DBLP] Haskell, 2005, pp:6273 [Conf]
A Type of Partial Recursive Functions. [Citation Graph (, )][DBLP]
A Brief Overview of Agda  A Functional Language with Dependent Types. [Citation Graph (, )][DBLP]
Embedding a logical theory of constructions in Agda. [Citation Graph (, )][DBLP]
Dependent Types at Work. [Citation Graph (, )][DBLP]
Another Look at Function Domains. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
