A type system equivalent to a model checker (2005)

by Mayur Naik , Jens Palsberg
Venue:In Proc. of the European Symp. on Prog
Citations:18 - 0 self