Sciweavers

10871 search results - page 46 / 2175
» A stable programming language
Sort
View
ERLANG
2009
ACM
14 years 2 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
CEFP
2007
Springer
14 years 1 months ago
An Introduction to the Lambda Calculus
Zoltán Csörnyei, Gergely Dévai