Explore types.pl

{- Lattice painter | Proof assistant -}

Gay trans lady who also likes functional programming. ((λ (g) g) woman). (she/her)

Postdoc at the Max Planck Institute for Software Systems. Types, security, and categories.

Amateur student of PLT and philosophy. Interested in social ecology, (post)structuralism, (in)formal methods, emancipation, utopia.

PhD student at University of Maryland, workin in the PLUM lab with Mike Hicks. Interested in langauge-based security and memes.

PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.

Formal Methods, Verification, Concurrency, Functional Programming!

types are pretty errrrrrr uhhhh satisfactory

Recent Grad | Inerested in Type Theory and Fuctional Programming

Scheme48 -> MzScheme -> Racket

I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.

Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her