The Racket virtual machine and randomized testing Casey KleinMatthew FlattRobert Bruce Findler OriginalPaper 01 February 2013 Pages: 209 - 253
Types and associated type families for hardware simulation and synthesis Andy GillTristan BullEd Komp OriginalPaper 12 October 2013 Pages: 255 - 274
Structural types for systems of equations John CapperHenrik Nilsson OriginalPaper 10 October 2013 Pages: 275 - 310