176 search results - page 8 / 36 » Full Abstraction for Functional Languages with Control |
127
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
103
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
98
Voted
SFP
2003
15 years 2 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
107
click to vote
TCS
2008
15 years 1 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...