Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy, @rfindler, Peter Sewell, and Benjamin Pierce. (I was the moderator.)
Prikaži ovu nit
The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. @TaliaRinger considers where we are now while recapping the distinguished @poplconf panel she organized to discuss POPLmark's impact.https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …
-
-
-
And:
@fancytypes and@djg98115 helped organize the event.Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.