151
reputation
15 views
discussion user
network profile

Unregistered User

name jozefg
member for 2 years
seen Oct 22 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


1

Current Commitment

61
days

Emacs

For those using, extending or developing emacs.
define
commit
public beta

0

Fulfilled Commitments


1

Followed

134
followers

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