Sciweavers

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