Zachary Snow

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

David Baelde, Dale Miller, Zachary Snow
Focused Inductive Theorem Proving. IJCAR (2010)
Zachary Snow
Realizing the Dependently Typed Lambda Calculus. ICLP (Technical Communications) (2010)
Zachary Snow, David Baelde, Gopalan Nadathur
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming CoRR (2010)
Zachary Snow, David Baelde, Gopalan Nadathur
A meta-programming approach to realizing dependently typed logic programming. PPDP (2010)
Zachary Snow, David Baelde, Gopalan Nadathur
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search CoRR (2010)