Travelled to:
1 × Italy
1 × USA
Collaborated with:
K.Claessen M.Johansson N.Smallbone D.Vytiniotis S.L.P.Jones
Talks about:
theori (1) semant (1) induct (1) haskel (1) explor (1) proof (1) logic (1) denot (1) autom (1) halo (1)
Person: Dan Rosén
DBLP: Ros=eacute=n:Dan
Contributed to:
Wrote 2 papers:
- CADE-2013-ClaessenJRS #automation #induction #proving #using
- Automating Inductive Proofs Using Theory Exploration (KC, MJ, DR, NS), pp. 392–406.
- POPL-2013-VytiniotisJCR #haskell #logic #named #semantics
- HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.