151
reputation
15 views
discussion user
network profile

Unregistered User

name jozefg
member for 3 years
seen Oct 22 '14 at 20:55
website
location United States
age 18

I am a student who enjoys PLT, type theory, and functional programming. Mostly I write Haskell, sometimes Agda, Scheme, or Ruby.

I like compilers and formal verification (mostly in Coq) too.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


1

Followed

93
committed

Compilers

For researchers and developers who want a serious and high-level answer on specialized topics on compiler architecture, e.g. parsing, type checking, intermediate code, optimizations, architecture specific optimizations and others.
define
commit
beta

0

Example Questions


0

Votes Cast