730 search results - page 11 / 146 » Security-typed programming within dependently typed programm... |
122
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
PLPV
2009
ACM
15 years 12 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
124
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
112
click to vote
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
134
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...