Alex I. Smith

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Functional Programs

Top Venues

Publications

Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, Dan R. Ghica, David B. Thomas, George A. Constantinides
Compiling Higher Order Functional Programs to Composable Digital Hardware. FCCM (2014)
Dan R. Ghica, Alex I. Smith
Bounded Linear Types in a Resource Semiring. ESOP (2014)
Dan R. Ghica, Alex I. Smith
From bounded affine types to automatic timing analysis. CoRR (2013)
Dan R. Ghica, Alex I. Smith, Satnam Singh
Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP (2011)
Dan R. Ghica, Alex I. Smith
Geometry of synthesis III: resource management through type inference. POPL (2011)
Dan R. Ghica, Alex I. Smith
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. MFPS (2010)