Tristan Bull

According to our database, Tristan Bull authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.

Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp

High. Order Symb. Comput., 2012

2011

Using Functional Programming to Generate an LDPC Forward Error Corrector.

Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

2010

Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.

Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2009

Introducing Kansas Lava.

Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling

Proceedings of the Implementation and Application of Functional Languages, 2009