BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

FOSSACS 20122012
TLCA 20072007
TLCA 20052005
LFP 19921992
Haskell 20052005

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.