First Page | Document Content | |
---|---|---|
Date: 2007-09-24 17:27:04Declarative programming Software engineering Lambda calculus Functional programming Physics Combinatory logic Logic in computer science Functional reactive programming Work Higher-order function Unfolding | Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1Add to Reading ListSource URL: thev.netDownload Document from Source WebsiteFile Size: 227,31 KBShare Document on Facebook |
DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT WorkshopDocID: 1xW38 - View Document | |
Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification WorkshopDocID: 1xVYq - View Document | |
Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,DocID: 1xVWJ - View Document | |
Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPitDocID: 1xVWB - View Document | |
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,DocID: 1xVWn - View Document |