Greg Michaelson1953 · 5 obras en el catálogoObrasAn introduction to functional programming through Lambda calculusElementary standard MLTrends in functional programmingAn introduction to functional programming through Lambda calculusElementary Standard ML