Ana Bove

21 papers B 2C 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2016 J jnl
Partiality and recursion in interactive theorem provers - an overview.
Math. Struct. Comput. Sci.
Ana Bove, Alexander Krauss, Matthieu Sozeau
2015 — conf
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
LSFA
Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández
2012 B conf
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.
FoSSaCS
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
2012 — ed.
Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010
PAR@ITP
Ekaterina Komendantskaya, Ana Bove, Milad Niqui
2010 — ed.
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010.
PAR
Ana Bove, Ekaterina Komendantskaya, Milad Niqui
2009 — conf
A Brief Overview of Agda - A Functional Language with Dependent Types.
TPHOLs
Ana Bove, Peter Dybjer, Ulf Norell
2009 B conf
Another Look at Function Domains.
MFPS
Ana Bove
2009 — conf
Embedding a logical theory of constructions in Agda.
PLPV
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
2009 — ed.
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
LerNet ALFA Summer School
Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
2008 — conf
A Type of Partial Recursive Functions.
TPHOLs
Ana Bove, Venanzio Capretta
2008 — conf
Dependent Types at Work.
LerNet ALFA Summer School
Ana Bove, Peter Dybjer
2007 — conf
Computation by Prophecy.
TLCA
Ana Bove, Venanzio Capretta
2005 J jnl
Modelling general recursion in type theory.
Math. Struct. Comput. Sci.
Ana Bove, Venanzio Capretta
2005 — conf
Recursive Functions with Higher Order Domains.
TLCA
Ana Bove, Venanzio Capretta
2005 C conf
Verifying haskell programs using constructive type theory.
Haskell
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
2004 — conf
Formalising Bitonic Sort in Type Theory.
TYPES
Ana Bove, Thierry Coquand
2002 — conf
General Recursion in Type Theory.
TYPES
Ana Bove
2002 — —
General Recursion in Type Theory.
Ana Bove
2001 — conf
Nested General Recursion and Partiality in Type Theory.
TPHOLs
Ana Bove, Venanzio Capretta
2001 J jnl
Simple General Recursion in Type Theory.
Nord. J. Comput.
Ana Bove
1992 — conf
A Confluent Calculus of Macro Expansion and Evaluation.
LISP and Functional Programming
Ana Bove, Laura Arbilla