vix.ing · top · new · best · stats · spec

Christopher Henson

  1. Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
    2026/02/16 by Christopher Henson, Fabrizio Montesi · 1 voice
    Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #History of Computing Technologies