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

Hong-Yi Dai

  1. The Mysteries of Lisp -- I: The Way to S-expression Lisp
    2015/05/26 by Hong-Yi Dai, Hong‐Yi Dai, Dai, Hong-Yi · 2 voices
    Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #cs.PL #semigroups and automata theory