According to our database1, Tristan Bull authored at least 4 papers between 2009 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.
High. Order Symb. Comput., 2012
Using Functional Programming to Generate an LDPC Forward Error Corrector.
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
Introducing Kansas Lava.
Proceedings of the Implementation and Application of Functional Languages, 2009