`Travelled to:`

1 × Estonia

1 × France

1 × Japan

1 × USA

`Collaborated with:`

V.Capretta L.Arbilla P.Dybjer A.Sicard-Ramírez A.A.0001 M.Benke J.Hughes U.Norell

`Talks about:`

function (2) program (2) theori (2) order (2) construct (1) confluent (1) propheci (1) interact (1) calculus (1) automat (1)

## Person: Ana Bove

### DBLP: Bove:Ana

### Contributed to:

### Wrote 5 papers:

- FoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code
- Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
- TLCA-2007-BoveC
- Computation by Prophecy (AB, VC), pp. 70–83.
- TLCA-2005-BoveC #higher-order #recursion
- Recursive Functions with Higher Order Domains (AB, VC), pp. 116–130.
- LFP-1992-BoveA #calculus #confluence #evaluation #metaprogramming
- A Confluent Calculus of Macro Expansion and Evaluation (AB, LA), pp. 278–287.
- Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification
- Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.