Archives by Category

Adams

Fall2010

Cottam

Mahajan

Kuper

Ahmed

Holk

Kulkarni

Barker

Keep

James

Name

Friedman

Spring2011

McKelvey

Chauhan

Perconti

Johnson

Voufo

Hansen

Byrd

Fall2011

Newton

Foltzer

Alvis

Hsu

Dybvig

Wang

Sparks

Bowman

OBT

Spring2012

Sabry

Martens

Thornton

Swords

Blocher

Frisz

Owens

Fall2012

Willcock

Amsden

Todd

APL

SIGRONAK

Spring2013

Shan

Hassan

Hemann

Gaboardi

Zakian

Jagannathan

PLFest

Fall2013

LVars

Spring2014

HoTT

Siek

GradualTyping

Wailes

Vitousek

Loos

Zinkov

Eastlund

Security

Near

Fall2014

Bonnaire-Sergeant

Clojure

Cimini

Kuhlenschmidt

Bauman

Naldurg

Kent

Narayanan

Contracts

VanHorn

Spring2015

Organizational

Romano

Monotonic

Gradual

Fogg

DataStructures

Haskell

Racket

Types

GradualTypes

AMA

Practice

Talks

ICFP

Fall2015

Shah

Transducers

Probabilistic

Vollmer

Array

Optimization

Ma

Carter

Reversible

Spring2016

Redex

Christiansen

Idris

Agacan

Lewis

Scott

minikanren

Derici

Pycket

Chamith

Fall2016

McDonell

Ismael

Mendler

Walia

Spring2017

Choudhury

Fall2017

Chen

Recap

MWPLS

Spall

Koronkevich

Fall2023

Angiuli

Spring2024

Tobin-Hochstadt