About PL Wonks

We're a group of programming language researchers and enthusiasts at Indiana University who engage in the discussion and study of the semantic and logical foundations of programming languages, language design, type theory, compilers, program analysis and optimization, program specification and construction, and emerging models of computation.

Our group's research interests cover a wide spectrum of topics. Check out some of our work: Boost, Build-to-Order BLAS, C++ Concepts, Chapel Generics, Gibbon, Hakaru, Hansei, JavaScript Modules, Racket & Typed Racket, the red* proof assistants, miniKanren, LVars, monad-par, meta-par, WaveScript.

If you'd like to keep in touch, join:

Members

Core Faculty

Carlo Angiuli [Site]
Dependent Types, Homotopy Type Theory, Proof Assistants 		Amr Sabry [Site]
Quantum Computing, Type Theory, Information Effects
Chung-chieh Shan [Site]
Probabilistic Programming, Semantics 		Jeremy Siek [Site]
Gradual Typing, Mechanized Metatheory, High-Performance
Sam Tobin-Hochstadt [Site]
Types for Untyped Languages, Contracts, Languages for the Web 		 

Adjunct Faculty and Faculty Emeriti

Kent Dybvig [Site]
Compiler Design 		Dan Friedman [Site]
Relational & Logic Languages, Meta-circularity, Reflection
Ryan Newton [Site]
Streaming, Distributed and GPU DSLs, Haskell Deterministic Parallelism 		 

Postdocs

Students

Former Members

Recent Alumni

Upcoming Events

Sorry no event scheduled yet. Please check again later!

Past Events

See the full list of events or subscribe via RSS