Meeting to Discuss Type Systems for Compiling to Hardware

In the CIRCT meeting yesterday, we discussed type systems for high level languages that compile to hardware. Examples of this work include the type systems used in Cλash, Aetherling, and [the Haskell-to-Hardware research at Columbia](

Mike Urbach and I are meeting tomorrow (11/13) at 2PM PT by Zoom to discuss these ideas. Others are welcome to join! If you want to join, please let me know either by responding to this post or by emailing me at If you want to join but the day or time doesn’t work, please let me know and we’ll adjust.

1 Like