U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
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/ …
Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy, @rfindler, Peter Sewell, and Benjamin Pierce. (I was the moderator.)
And: @fancytypes and @djg98115 helped organize the event.
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.
