Sign in
POPL 2020
Event Home
Dependently Typed Multi-Stage Programming, Revisited
Sep 17, 2020
|
27 views
ACM SIGPLAN
Follow
Details
Presenter: Atsushi Igarashi Presented at PEPM'20, colocated with POPL 2020.
Category: POPL 2020
Comments
loading...
Reactions
(0)
| Note
đź“ť No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
51:23
SREcon15 - From Zero to Hero: Recommended Practices for Training your Ever-Evolving SRE Teams
USENIX
| Apr 13, 2015
52:34
SREcon15 - Architecting and Launching the Halo 4 Services
USENIX
| Apr 13, 2015
43:05
SREcon15 - Being Afraid—How Paranoia at Dropbox Protects Your Data
USENIX
| Apr 13, 2015
20:58
ICAPS 2014: Jendrik Seipp on "Diverse and Additive Cartesian Abstraction Heuristics"
ICAPS
| Apr 14, 2015
20:15
ICAPS 2014: Bram Ridder on "Heuristic Evaluation Based on Lifted Relaxed Planning Graphs"
ICAPS
| Apr 14, 2015
