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
Dependent Types, Homotopy Type Theory, Proof Assistants 		Amr Sabry
Quantum Computing, Type Theory, Information Effects
Chung-chieh Shan
Probabilistic Programming, Semantics 		Jeremy Siek
Gradual Typing, Mechanized Metatheory, High-Performance
Sam Tobin-Hochstadt
Types for Untyped Languages, Contracts, Languages for the Web 		 

Adjunct Faculty and Faculty Emeriti

Kent Dybvig
Compiler Design 		Dan Friedman
Relational & Logic Languages, Meta-circularity, Reflection
Ryan Newton
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