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. Higher-Order and Symbolic Computation, 25(2-4):255-274, 2012. [doi]
Abstract is missing.