Adam Megacz

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Adam Megacz
Hardware Design with Generalized Arrows. IFL (2011)
Adam Megacz
Multi-Stage Programs are Generalized Arrows CoRR (2010)
Adam Megacz
Multi-Level Languages are Generalized Arrows CoRR (2010)
Tachio Terauchi, Adam Megacz
Inferring Channel Buffer Bounds Via Linear Programming. ESOP (2008)
Adam Megacz
A Library and Platform for FPGA Bitstream Manipulation. FCCM (2007)
Adam Megacz
A coinductive monad for prop-bounded recursion. PLPV (2007)
Adam Megacz
Scannerless Boolean Parsing. Electron. Notes Theor. Comput. Sci. 164 (2) (2006)
Brian Alliet, Adam Megacz
Complete translation of unsafe native code to safe bytecode. IVME (2004)