Journal: Higher-Order and Symbolic Computation

Volume 25, Issue 2-4

209 -- 253Casey Klein, Matthew Flatt, Robby Findler. The Racket virtual machine and randomized testing
255 -- 274Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp. Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava
275 -- 310John Capper, Henrik Nilsson. Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations