Dale Vaillancourt

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2 in DrScheme. ACL2 (2006)
Mitchell Wand, Dale Vaillancourt
Relating models of backtracking. ICFP (2004)