Sign in
POPL 2020
Event Home
Deriving Instances with Dependent Types
Sep 17, 2020
|
24 views
ACM SIGPLAN
Follow
Details
Presenter: Arthur Azevedo de Amorim Presented at CoqPL'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:14
SREcon15 - SRE Hiring
USENIX
| Apr 9, 2015
38:12
SREcon15 - Incident Analysis
USENIX
| Apr 13, 2015
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
