From Contracts towards Dependent Types: Proofs by Partial Evaluation.
Title | From Contracts towards Dependent Types: Proofs by Partial Evaluation. |
Publication Type | Journal Article |
Year of Publication | 2007 |
Authors | Herhut, S, Scholz, S-B, Bernecky, R, Grelck, C, Trojahner, K |
Bibtex:
@article {507, title = {From Contracts towards Dependent Types: Proofs by Partial Evaluation.}, year = {2007}, note = {In: O. Chitil (ed.): Proceedings of the 19th International Symposium on Implementation and Application of Functional Laguages (IFL{\textquoteright}07). Freiburg, Germany, September 27-29, 2007, 534-550. University of Kent, Computing Laboratory, Canterbury, England, UK, Technical Report 12-07, 2007.}, author = {St. Herhut and S.-B. Scholz and Bernecky, R. and Grelck, C. and Trojahner, K.} }