Ana Bove

	2012
17		Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez: Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. FoSSaCS 2012: 104-118
	2010
16		Ana Bove, Ekaterina Komendantskaya, Milad Niqui: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers PAR 2010
	2009
15		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
14		Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez: Embedding a logical theory of constructions in Agda. PLPV 2009: 59-66
13		Ana Bove, Peter Dybjer, Ulf Norell: A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs 2009: 73-78
12		Ana Bove: Another Look at Function Domains. Electr. Notes Theor. Comput. Sci. 249: 61-74 (2009)
	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

Coauthor Index

1	Andreas Abel	[8]
2	Laura Arbilla	[1]
3	Luís Soares Barbosa	[15]
4	Marcin Benke	[8]
5	Venanzio Capretta	[3] [6] [7] [9] [10]
6	Thierry Coquand	[5]
7	Peter Dybjer	[11] [13] [14] [17]
8	John Hughes	[8]
9	Ekaterina Komendantskaya	[16]
10	Milad Niqui	[16]
11	Ulf Norell	[8] [13]
12	Alberto Pardo	[15]
13	Jorge Sousa Pinto	[15]
14	Andrés Sicard-Ramírez	[14] [17]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page