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:
- the PL Reading Group mailing list and Discord
- pl-wonks-l, our official mailing list
Members
Faculty
Carlo Angiuli
[Site] Dependent Types, Homotopy Type Theory, Proof Assistants |
Dan Friedman
[Site] Relational & Logic Languages, Meta-circularity, Reflection |
Ryan Newton
[Site] Streaming, Distributed and GPU DSLs, Haskell Deterministic Parallelism |
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 |
Students
|
Faculty EmeritiFormer Members
|
Alumni
|
Upcoming Events
Sorry no event scheduled yet. Please check again later!
Past Events
- Sam Tobin-Hochstadt — Rhombus, a New Racket Language Without Parentheses (02/07/2024)
- Tianyu Chen — The Holy Grail of Gradual Security (01/24/2024)
- Chung-Chieh Shan — Exact Recursive Probabilistic Programming (12/13/2023)
- Carlo Angiuli — Universe Hierarchies and (Generalized) Universe Polymorphism (12/06/2023)
- Jeremy Siek — An Introduction to Step-Indexed Logical Relations via Type Safety for STLC + fix (11/29/2023)
- Paulette Koronkevich — One Weird Trick to Untie Landin's Knot (10/13/2023)
- Sarah Spall — Futures in Racket; now and tomorrow (11/03/2017)
- David Christiansen — Felt: Multilingual Literate Racket Programming Without Weaving (10/27/2017)
- Rajan Walia — Building high performance DSL's in Racket (10/27/2017)
- Aaron Hsu — A Favorite Thing from Dyalog '17 (10/27/2017)
See the full list of events or subscribe via RSS.