179 search results - page 29 / 36 » A calculus of functional BSP programs |
126
Voted
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
103
Voted
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
128
click to vote
SIGMOD
1996
ACM
15 years 5 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
100
click to vote
APSEC
2002
IEEE
15 years 6 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
102
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...