852 search results - page 40 / 171 » entcs 2010 |
77
Voted
ENTCS
2000
15 years 3 months ago
2000
119
Voted
ENTCS
2000
15 years 3 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
67
Voted
ENTCS
2002
15 years 3 months ago
2002
102
Voted
ENTCS
2002
15 years 3 months ago
2002
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
122
Voted
ENTCS
2002
15 years 3 months ago
2002
or Abstraction in Model Checking Mar