Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
src/grk2clj		src/grk2clj
tex		tex
README.md		README.md
project.clj		project.clj

Repository files navigation

From Greek to Clojure

Talk by Nada Amin and William Byrd at Clojure/conj 2013.

Video (Youtube)
Slides (PDF) -- the slides with the Greek.
Logical Types for Untyped Languages (PDF) -- the paper shown towards the end.

About

From Greek to Clojure, Clojure/conj 2013

clojure talk meta-theory

Report repository

Releases

No releases published

Packages

No packages published

Languages