645 search results - page 26 / 129 » Pure patterns type systems |
109
click to vote
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
115
click to vote
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
100
click to vote
FINTAL
2006
15 years 3 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
CGF
2008
14 years 12 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...