User:Trurl
From Wikipedia, the free encyclopedia
I am a doctoral student in computer science at the University of Pennsylvania.
My user name comes from the constructor Trurl in The Cyberiad.
I will fill in more here as time allows.
My contributions so far:
- anonymously, has been to note that Hermann Zapf created AMS Euler. Some other individual was kind enough to start a nice page for AMS Euler since then.
- Frank Pfenning
- Added information on the forthcoming sans-serif faces for the Palatino family.
My top priorities:
- Fleshing out GADTs (wobbly types will probably be subsidiary to this entry).
- Creating an entry for de Bruijn indices which isn't even mentioned in Nicolaas govert de Bruijn's entry.
- Improvements to Benjamin C. Pierce and Frank Pfenning.
- Created an combined entry on the Squigol notions of bananas, barbed-wire, and lenses.
Other things I would like to work on eventually: intensional type analysis, parametricity, Delphin (the language not the submarine), System I, information flow type systems, Stephanie C. Weirich
