Jukka Lehtosalo

Publications

Jukka Lehtosalo and David J. Greaves. Language with a Pluggable Type System and Optional Runtime Monitoring of Type Errors. In: STOP 2011: International Workshop on Scripts to Programs (2011) [PDF]