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.}
}