External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. In Rex L. Page, Zoltán Horváth, Viktória Zsók, editors, Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Volume 6546 of Lecture Notes in Computer Science, pages 118-133, Springer, 2010. [doi]

Authors

Andy Gill

Identified as Andy Gill

Tristan Bull

This author has not been identified. Look up 'Tristan Bull' in Google

Andrew Farmer

This author has not been identified. Look up 'Andrew Farmer' in Google

Garrin Kimmell

This author has not been identified. Look up 'Garrin Kimmell' in Google

Ed Komp

This author has not been identified. Look up 'Ed Komp' in Google
runs on