Explore types.pl

CS/Math major at Luther College. Interested in array languages and types. Vegan. He/Him

https://github.com/alexdikelsky

pronouns: he/him/his
math and compsci major. numbers are epic.

- enby, megalomaniac, amateur lisp hacker, probably an idiot
- all kinds of anarchist (anarctheirt?)
- I sometimes rant and sometimes make horrible puns

liker of racket and gender shenanigans (simultaneous)

pronouns he/him
undergraduate at IU-B
studying math and CS
a fake, a phony

{- 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 candidate in Bergen 🇳🇴
Programming Languages, Generic Programming, Array Programming, Compilers.
Retired Go player, but always up for a game!

Systems PhD candidate @UCSC_BSOE
Previously: engineering @withplum, @intuitionrobo

Brazilian CS undergrad. Work on ML but I'm interested in programming languages
A special snowflake existing in 196883 dimensions
#ActuallyAutistic

@bschroed on Twitter. Interested in algebraic effects, refinement types, and datalog.

I am a Lecturer (Assistant Professor) in the School of Computing Science at the University of Glasgow.

phd student @ mit, interested in probabilistic programming! 🏳️‍🌈