Henk Barendregt;Kees Hemerik
-;-
Type reconstruction in F ω
Mathematical Structures in Computer Science
Software hardening: a research agenda
Proceedings for the 1st workshop on Script to Program Evolution
Action semantics-directed prototyping
Computer Languages