Hi! I'm Michael Arntzenius, a PhD student at the University of Birmingham. Call me "rntz", it's short and not prone to name collision. I'm a programmer, and my area of interest is programming language theory, design, and implementation.

Email d...@gmail.com Github rntz
Twitter @arntzenius IRC rntz on freenode


Option and Null in Dynamic Languages
Monoids, Scope, and Extensibility
On dynamic and static types
Belief is indexed by proof system
Anarki updated to arc3
Intuitive hygienic macros
An odd type inference problem
Languages as models of computation
OO and pattern-matching