Benjamin Aaron
Results: 32
# | Item |
---|---|
31 | Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2005-11-30 06:37:29 |
32 | PDF DocumentAdd to Reading ListSource URL: dnr.alaska.govLanguage: English - Date: 2009-09-16 10:18:44 |