equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 |
|
4 @PhdThesis{Haftmann09, |
|
5 author = {F.~Haftmann}, |
|
6 title = {{C}ode {G}eneration from {S}pecifications in {H}igher-{O}rder {L}ogic}, |
|
7 school = {Technical University of Munich}, |
|
8 year = {2009} |
|
9 } |
|
10 |
1 @article{Harper99, |
11 @article{Harper99, |
2 author = {R.~Harper}, |
12 author = {R.~Harper}, |
3 title = {{P}roof-{D}irected {D}ebugging}, |
13 title = {{P}roof-{D}irected {D}ebugging}, |
4 journal = {Journal of Functional Programming}, |
14 journal = {Journal of Functional Programming}, |
5 volume = {9}, |
15 volume = {9}, |