Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
Articole: 2
-
Curly braces: An evolution of UNIX and C
How were curly braces typed with a Teletype Model 33 on UNIX?
-
Coq typeclass resolution is Turing-complete
Proof by construction that the typeclass resolver in Coq can perform arbitrary computation while searching for instances.