Login / Signup
Lianne Lairmore
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Proof Planning
Functional Language
Object Identity
Top Venues
CODES+ISSS
</>
Publications
</>
Kuangya Zhai
,
Richard Townsend
,
Lianne Lairmore
,
Martha A. Kim
,
Stephen A. Edwards
Hardware synthesis from a recursive functional language.
CODES+ISSS
(2015)