From Contracts towards Dependent Types: Proofs by Partial Evaluation

Stephan Herhut, Sven Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner

Fingerprint

Dive into the research topics of 'From Contracts towards Dependent Types: Proofs by Partial Evaluation'. Together they form a unique fingerprint.

Engineering & Materials Science