issues
search
wonks
/
Talk_Rehearsal_Feedback
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
MWPLS practice talks
#18
ccshan
opened
5 years ago
7
miniKanren'19 pratice talk: Kuang-Chen Lu
#17
RyanGlScott
opened
5 years ago
6
HIW'19 practice talk: Mike Vollmer
#16
RyanGlScott
opened
5 years ago
11
Haskell'19 practice talk: Ryan Scott
#15
RyanGlScott
opened
5 years ago
3
2019 PLDI Vollmer practice talk on Gibbon/LoCal
#14
rrnewton
closed
5 years ago
9
PPoPP 2019 Rainey talk
#13
rrnewton
closed
5 years ago
6
Aaron Hsu -- Dyalog 2018
#10
samth
closed
5 years ago
0
Andre - SFP 2018
#9
samth
closed
5 years ago
7
Andre's Practice Talk
#11
akuhlens
closed
5 years ago
0
Ryan Scott's Practice Talk
#12
akuhlens
closed
5 years ago
1
2018 UNIF - Weixi Ma on Efficiency of a Good but not Linear Nominal Unification Algorithm
#8
ccshan
closed
5 years ago
6
2018 PLDI - Mike Rainey on Heartbeat scheduling
#7
rrnewton
closed
5 years ago
12
2017 OOPSLA - Ryan Scott, Monadic Composition for Deterministic, Parallel Batch Processing
#6
samth
closed
5 years ago
15
2017 Haskell Symposium - Chao-Hong Chen
#5
frenchy64
closed
6 years ago
15
2017 ICFP - Praveen Narayanan
#4
frenchy64
closed
6 years ago
11
Vollmer - PPoPP 2017
#3
cgswords
closed
5 years ago
7
Shan & Ramsey, Exact Bayesian inference by symbolic disintegration
#2
ccshan
closed
5 years ago
2
Vitousek et al., Open World Soundness and Collaborative Blame in Gradual Type Systems
#1
ccshan
closed
5 years ago
45