Search the dblp DataBase

Publications of Author

1. Ana Bove, Laura Arbilla
   A Confluent Calculus of Macro Expansion and Evaluation. [Citation Graph (1, 0)][DBLP]
   LISP and Functional Programming, 1992, pp:278-287 [Conf]
   
2. Ana Bove, Venanzio Capretta
   Recursive Functions with Higher Order Domains. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:116-130 [Conf]
   
3. Ana Bove, Venanzio Capretta
   Nested General Recursion and Partiality in Type Theory. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2001, pp:121-135 [Conf]
   
4. Ana Bove
   General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2002, pp:39-58 [Conf]
   
5. Ana Bove, Thierry Coquand
   Formalising Bitonic Sort in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:82-97 [Conf]
   
6. 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:671-708 [Journal]
   
7. Ana Bove
   Simple General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:22-42 [Journal]
   
8. Ana Bove, Venanzio Capretta
   Computation by Prophecy. [Citation Graph (0, 0)][DBLP]
   TLCA, 2007, pp:70-83 [Conf]
   
9. 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:62-73 [Conf]
   
10. 
    A Type of Partial Recursive Functions. [Citation Graph (, )][DBLP]
    
    
11. 
    A Brief Overview of Agda - A Functional Language with Dependent Types. [Citation Graph (, )][DBLP]
    
    
12. 
    Embedding a logical theory of constructions in Agda. [Citation Graph (, )][DBLP]
    
    
13. 
    Dependent Types at Work. [Citation Graph (, )][DBLP]
    
    
14. 
    Another Look at Function Domains. [Citation Graph (, )][DBLP]