From Contracts towards Dependent Types: Proofs by Partial Evaluation

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „From Contracts towards Dependent Types: Proofs by Partial Evaluation“. Zusammen bilden sie einen einzigartigen Fingerprint.

Ingenieurwesen & Materialwissenschaft