151
reputation
11 views
discussion user
network profile

Unregistered User

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

289
committed

Emacs

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

0

Fulfilled Commitments


3

Followed

289
committed

Emacs

For those using, extending or developing emacs.
define
commit
beta
192
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
86
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