Zachary Snow
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2010
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CADE | Focused Inductive Theorem Proving. | David Baelde, Dale Miller, Zachary Snow |
| 2010 | ICLP | Realizing the Dependently Typed Lambda Calculus. | Zachary Snow |
| 2010 | PPDP | A meta-programming approach to realizing dependently typed logic programming. | Zachary Snow, David Baelde, Gopalan Nadathur |