283 search results - page 26 / 57 » Functional Pearls: Probabilistic functional programming in H... |
104
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
107
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
120
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
140
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
114
click to vote
ERLANG
2003
ACM
15 years 6 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...