A family of syntactic logical relations for the semantics of Haskell-like languages (2009)

by Patricia Johann , Janis Voigtländer
Venue:INFORMATION AND COMPUTATION
Citations:5 - 3 self