Program Extraction in simply-typed Higher Order Logic (2002)

by Stefan Berghofer
Venue:Types for Proofs and Programs (TYPES 2002), LNCS 2646
Citations:9 - 2 self