![∀[ □ A ⇒ A ] → ∀[ A ]](https://pbs.twimg.com/profile_images/1473021630/igor_d_400x400.jpg){kind=avatar}
![∀[ □ A ⇒ A ] → ∀[ A ]](https://pbs.twimg.com/profile_images/1473021630/igor_d.jpg)
60 pages of generic programming and proving for syntaxes with binding. A reviewer called it "basically a master class in dependently typed programming" 
.
Prikaži ovu nit
"A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP! http://gallais.github.io/pdf/generic-syntax.pdf …
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Congrats!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
congratulations !!!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Č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.