Login / Signup
Tristan Bull
Publication Activity (10 Years)
Years Active: 2009-2012
Publications (10 Years): 0
Top Topics
Simulation Study
Hardware Software
Design Space Exploration
Input Output
Top Venues
High. Order Symb. Comput.
</>
Publications
</>
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.
High. Order Symb. Comput.
25 (2-4) (2012)
Andy Gill
,
Tristan Bull
,
Daniel DePardo
,
Andrew Farmer
,
Ed Komp
,
Erik Perrins
Using Functional Programming to Generate an LDPC Forward Error Corrector.
FCCM
(2011)
Andy Gill
,
Tristan Bull
,
Andrew Farmer
,
Garrin Kimmell
,
Ed Komp
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.
Trends in Functional Programming
(2010)
Andy Gill
,
Tristan Bull
,
Garrin Kimmell
,
Erik Perrins
,
Ed Komp
,
Brett Werling
Introducing Kansas Lava.
IFL
(2009)