researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
25
, Issue
2-4
209
--
253
Casey Klein
,
Matthew Flatt
,
Robby Findler
.
The Racket virtual machine and randomized testing
255
--
274
Andy 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
--
310
John Capper
,
Henrik Nilsson
.
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations