equal
deleted
inserted
replaced
24 part of the Isabelle distribution) |
24 part of the Isabelle distribution) |
25 |
25 |
26 Literature ... some relevant papers about binders and |
26 Literature ... some relevant papers about binders and |
27 Core-Haskell |
27 Core-Haskell |
28 |
28 |
29 Paper ... submitted to ESOP |
29 Paper ... accepted at ESOP |
30 |
30 |
31 Pearl ... accepted at ITP |
31 Pearl ... accepted at ITP |
32 Pearl-jv ... journal version |
32 Pearl-jv ... accepted at LMCS |
33 |
33 |
34 Quotient-Paper .. accepted to SAC |
34 Quotient-Paper .. accepted to SAC |
35 |
35 |
36 Slides ... various talks Christian gave recently |
36 Slides ... various talks Christian gave recently |