Sciweavers

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