151
reputation
10 views
discussion user
network profile

Unregistered User

name jozefg
member for 2 years
seen Apr 12 at 18:17
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

153
followers

Programming Language Theory

For people who wish to influence and foster interest, in the development of new programming languages. For programming language theory enthusiasts and computer science students who wish to learn more about the subject or have their doubts elucidated.
define
commit
beta

0

Example Questions


0

Votes Cast