External Links

    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
    runs on