equal
deleted
inserted
replaced
65 } |
65 } |
66 |
66 |
67 @InProceedings{CoreHaskell, |
67 @InProceedings{CoreHaskell, |
68 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
68 author = {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly}, |
69 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
69 title = {{S}ystem {F} with {T}ype {E}quality {C}oercions}, |
70 booktitle = {Proc of the TLDI Workshop}, |
70 booktitle = {Proc.~of the TLDI Workshop}, |
71 pages = {53-66}, |
71 pages = {53-66}, |
72 year = {2007} |
72 year = {2007} |
73 } |
73 } |
74 |
74 |
75 @inproceedings{cheney05, |
75 @inproceedings{cheney05, |
171 } |
171 } |
172 |
172 |
173 @article{MckinnaPollack99, |
173 @article{MckinnaPollack99, |
174 author = {J.~McKinna and R.~Pollack}, |
174 author = {J.~McKinna and R.~Pollack}, |
175 title = {{S}ome {T}ype {T}heory and {L}ambda {C}alculus {F}ormalised}, |
175 title = {{S}ome {T}ype {T}heory and {L}ambda {C}alculus {F}ormalised}, |
176 journal = {Journal of Automated Reasoning}, |
176 journal = {J.~of Automated Reasoning}, |
177 volume = 23, |
177 volume = 23, |
178 number = {1-4}, |
178 number = {1-4}, |
179 year = 1999 |
179 year = 1999 |
180 } |
180 } |
181 |
181 |