default search action

combined dblp search
author search
venue search
publication search

ask others

Tristan Bull

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GillBFKK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GillBFKK12
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): 255-274 (2012)
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fccm/GillBDFKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fccm/GillBDFKP11
Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins:
Using Functional Programming to Generate an LDPC Forward Error Corrector. FCCM 2011: 133-140
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/GillBFKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/GillBFKK10
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: 118-133

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GillBKPKW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GillBKPKW09
Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling:
Introducing Kansas Lava. IFL 2009: 18-35

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.