10622 search results - page 533 / 2125 » Python Programming Language |
211
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
206
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
182
click to vote
FOSSACS
2005
Springer
16 years 21 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
191
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
165
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...