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:
2012
20072005
1992
2005Wrote 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.