Travelled to:
1 × Denmark
1 × Germany
1 × Japan
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
J.Voigtländer J.Christiansen S.Mehner L.Straßburger M.Hanus F.Reck J.P.Fernandes J.Saraiva
Talks about:
function (3) free (3) theorem (2) program (2) logic (2) counterexampl (1) polymorph (1) strictif (1) parametr (1) encapsul (1)
Person: Daniel Seidel
DBLP: Seidel:Daniel
Contributed to:
Wrote 6 papers:
- PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem
- Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
- PPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #semantics #source code
- A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
- PEPM-2011-FernandesSSV #source code #strict
- Strictification of circular programs (JPF, JS, DS, JV), pp. 131–140.
- PPDP-2011-ChristiansenS #polymorphism #strict
- Minimally strict polymorphic functions (JC, DS), pp. 53–64.
- QAPL-2011-SeidelV #for free
- Improvements for Free (DS, JV), pp. 89–103.
- FLOPS-2010-SeidelV #automation #generative #theorem
- Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.