You are here

Home › Research › Publications ›

From Contracts towards Dependent Types: Proofs by Partial Evaluation.

TitleFrom Contracts towards Dependent Types: Proofs by Partial Evaluation.
Publication TypeJournal Article
Year of Publication2007
AuthorsHerhut, 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.}
}