pl
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
[CTRG] Category Theory Reading Group
|
|
21 | 1410 | August 22, 2020 |
| Arthur Vale - MS Presentation - Abstracting Syntax for Meta-Theoretic Proof-Carrying Programming Languages Implementation |
|
1 | 242 | September 10, 2019 |
| Mark Cohen, PL talk: Iterative Programming in ML with Type Classes and Associated Types |
|
2 | 292 | September 10, 2019 |
| CERES Unstoppable Speaker, Arvind -- The Riscy Expedition |
|
1 | 193 | September 10, 2019 |
|
Languages and Machines
|
|
3 | 254 | September 5, 2018 |
|
Brian Hempel MS Presentation at JCL 390 today!
|
|
2 | 167 | December 28, 2018 |
|
Relit: Typed Literal Macros for Reason, presented by Cyrus Omar
|
|
4 | 222 | December 3, 2018 |