Formalizing process algebraic verifications in the calculus of constructions Marc BezemRoland BolJan Friso Groote OriginalPaper Pages: 1 - 48
Type inference with non-structural subtyping Jens PalsbergMitchell WandPatrick O'Keefe OriginalPaper Pages: 49 - 67
A strict functional language with cyclic recursive data Susumu Nishimura OriginalPaper Pages: 78 - 97
Verifying a distributed list system: A case history Stein KrogdahlOlav Lysne OriginalPaper Pages: 98 - 118