Mike Thome

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Lambda Calculus

General Purpose

Programming Environments

Top Venues

Publications

Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler
QuaFL: a typed DSL for quantum programming. FPCDSL@ICFP (2013)