Jeremy Pope

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Functional Language

Top Venues

Publications

Jeremy Pope, Carl-Johan H. Seger
Bifröst: Creating Hardware With Building Blocks. FDL (2023)
Jeremy Pope, Jules Saget, Carl-Johan H. Seger
Cephalopode: A custom processor aimed at functional language execution for IoT devices. MEMOCODE (2020)
Jeremy Pope, Jules Saget, Carl-Johan H. Seger
Stately: An FSM Design Tool. MEMOCODE (2020)
Jeremy Pope
Formalizing Constructive Quantifier Elimination in Agda. MSFP@FSCD (2018)