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]
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]