palexand | Lambda the Ultimate

palexand

view
track

Personal information

Country:
United States

Gender:
male

Interests:

Systems level design, specification languages, formal methods, functional programming

History

Member for:
21 years 1 week