Kevlin Henney

kotlin integer-representation floating-point-numbers sorting-algorithms permutation-sort bogo-sort halting-problem computability knowledge-representation programming-languages algorithms distributed-systems c java