44th ACM SIGPLAN Symposium on Principles of Programming Languages

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.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ebner, Gabriel ; de Moura, Leonardo ; Roesch, Jared ; Ullrich, Sebastian The Lean Theorem ProverPr√§sentation Presentation2017