11022 search results - page 224 / 2205 » Programming Systems for Autonomy |
166
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
162
click to vote
JFP
2007
15 years 6 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
149
click to vote
ENTCS
2000
15 years 6 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
240
Voted
TSE
2002
15 years 6 months ago
2002
152
click to vote
SSS
2005
Springer
15 years 12 months ago
2005
Springer
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...