Adam Megacz

According to our database, Adam Megacz authored at least 8 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Hardware Design with Generalized Arrows.

Adam Megacz

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

Multi-Level Languages are Generalized Arrows

Adam Megacz

CoRR, 2010

Multi-Stage Programs are Generalized Arrows

Adam Megacz

CoRR, 2010

2008

Inferring Channel Buffer Bounds Via Linear Programming.

Tachio Terauchi, Adam Megacz

Proceedings of the Programming Languages and Systems, 2008

2007

A coinductive monad for prop-bounded recursion.

Adam Megacz

Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

A Library and Platform for FPGA Bitstream Manipulation.

Adam Megacz

Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, 2007

2006

Scannerless Boolean Parsing.

Adam Megacz

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

2004

Complete translation of unsafe native code to safe bytecode.

Brian Alliet, Adam Megacz

Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, 2004