Run your research: on the effectiveness of lightweight mechanization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. Run your research: on the effectiveness of lightweight mechanization. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 285-296, ACM, 2012. [doi]

This author has not been identified. It may be one of the following persons:

Casey Klein

Look up 'Casey Klein' in GoogleThis author has not been identified. Look up 'John Clements' in GoogleThis author has not been identified. Look up 'Christos Dimoulas' in GoogleThis author has not been identified. Look up 'Carl Eastlund' in GoogleIdentified as Matthias Felleisen Identified as Matthew Flatt This author has not been identified. Look up 'Jay A. McCarthy' in GoogleThis author has not been identified. Look up 'Jon Rafkind' in GoogleThis author has not been identified. Look up 'Sam Tobin-Hochstadt' in GoogleIdentified as Robby Findler

runs on WebDSL