Nathan Mishra Linger

Nathan Mishra Linger

Email
Office	115 Fourth Avenue Bldg. (map)
Address	Portland State University
	Department of Computer Science
	P.O. Box 751
	Portland, OR 97207

About Me

Portland State University

On November 7, 2008, I successfully defended my thesis.

In September 2008, I started my new job as a quantitative researcher at Jane Street Capital.

On March 26, 2005, I married the love of my life, Taniya Mishra. Here are pictures of us [1 2 ... ].

Research

I'm interested in type theory, dependent types, logical frameworks, continuations, defunctionalization, and meta-programming,

Efficient implementation of dependently typed languages
- Irrelevance, Polymorphism, and Erasure in Type Theory (Ph.D. dissertation)
- Erasure and Polymorphism in Pure Type Systems (FoSSaCS 2008) (slides)
- Erasability Analysis for Pure Type Systems (Draft, October 2007)
Tim Sheard's language Ωmega
- MetaProgramming with Typed Object Language Representations (GPCE 2004)
- Programming with Structural Invariants in Ωmega (Draft, 2004)
  includes code for binomial heaps & typed CPS conversion
- Programming in Ωmega (Notes for the 2nd Central European Functional Programming School, 2007)
  includes code for AVL trees & a λ-calculus type-checker
Binding-Time Analysis for MetaML
- Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (TACAS 2004)
- Search-Based Binding Time Analysis using Type-Directed Pruning (Asia-PEPM 2002)

Code

Incremental linear algebra solver
Fast regular expression matcher (Inspired by Russ Cox's implementation of Thompson's algorithm)
Purely functional double-ended sequences (Inspired by Hinze and Paterson's Finger Trees in Haskell)
An elegant structured grep program for S-expressions

Favorite Sites

Silliness

A ceiling fan design inspired by everyone's favorite divergent λ-term