44th ACM SIGPLAN Symposium on Principles of Programming Languages

View Statistics Email Alert RSS Feed

Description

Event name
44th ACM SIGPLAN Symposium on Principles of Programming Languages
 
Event type
Event for scientific audience
 
Start date
15-01-2017
End date
21-01-2017
 
Location
Paris
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ebner, Gabriel ; de Moura, Leonardo ; Roesch, Jared ; Ullrich, Sebastian The Lean Theorem ProverPräsentation Presentation2017