In this week's PL Perspectives (https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …), @TaliaRinger describes the POPLmark retrospective panel she organized last week (https://popl20.sigplan.org/track/POPL-2020-poplmark-15-year-retrospective-panel …), and answers the question: was the POPLmark challenge successful?pic.twitter.com/26gemjqqW4
08:29 - 29. sij 2020.
0 replies
2 proslijeđena tweeta
12 korisnika označava da im se sviđa
Č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.