| 17th November 2017 |
Ben Kovitz (Show-and-tell on FARG models and possible miniKanren applicability) |
4:15pm - 5:00pm |
| 24th November 2017 |
Cancelled (Thanksgiving) |
| 1st December 2017 |
Cancelled (Midwest PL Summit) |
|
| 8th December 2017 |
Jason Hemann (Lightning talk) |
4:15pm - 4:30pm |
|
Kyle Carter (Lightning talk) |
4:30pm - 4:45pm |
| 15th December 2017 |
Cancelled |
4:15pm - 5:00pm |
| 10th November 2017 |
Caner Derici |
4:15pm - 5:00pm |
| 3rd November 2017 (In LH102!) |
Futures in Racket; now and tomorrow - Sarah Spall |
4:15pm - 4:30pm |
|
OOPSLA recap |
4:30pm - 5:00pm |
| 27th October 2017 |
A Favorite Thing from Dyalog '17 - Aaron Hsu |
4:15pm - 4:30pm |
|
Felt: Multilingual Literate Racket Programming Without Weaving - David Christiansen |
4:30pm - 4:45pm |
|
Building high performance DSL's in Racket - Rajan Walia |
4:45pm - 5:00pm |
| 20th October 2017 |
Pony lang - Andrew Kent |
4:15pm - 5:00pm |
| 13th October 2017 |
Monadic Composition for Deterministic, Parallel Batch Processing - Ryan Scott |
4:15pm - 5:00pm |
| 29th September 2017 |
Normalization by Evaluation - David Christiansen |
4:15pm - 5:00pm |
| 22nd September 2017 |
Space-efficient runtime tracking - Ambrose Bonnaire-Sergeant |
4:15pm - 5:00pm |
| 15th September 2017 |
ICFP Recap |
4:15pm - 5:00pm |
| 8th September 2017 |
Organizational Meeting |
4:15pm - 5:00pm |
| 1st September 2017 |
APL Style Patterns/Anti-patterns: Escaping the Beginner’s Plateau - Aaron Hsu |
4:15pm - 4:25pm |
|
Type Theorists HATE Him! Learn this ONE WEIRD TRICK to fake dependent types in a language that doesn’t support them - Ryan Scott |
4:30pm - 4:40pm |
|
Homotopy theoretic aspects of Reversible Computing - Vikraman Choudhury |
4:45pm - 4:55pm |
| 25th August 2017 |
Symbolic conditioning of arrays in probabilistic programs - Praveen Narayanan |
4:15pm - 4:35pm |
|
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping - Chao-Hong Chen</a> |
4:40pm - 5:00pm |