We illustrate the concepts of sessions and session types as they have been developed in the setting of the π-calculus. Motivated by the goal of obtaining a formalisation closer to …
K Honda, VT Vasconcelos, M Kubo - European Symposium on …, 1998 - Springer
We introduce basic language constructs and a type discipline as a foundation of structured communication-based concurrent programming. The constructs, which are easily …
C Elliott, P Hudak - Proceedings of the second ACM SIGPLAN …, 1997 - dl.acm.org
Fran (Functional Reactive Animation) is a collection of data types and functions for composing richly interactive, multimedia animations. The key ideas in Fran are its notions of …
After the success of the first edition, Introduction to Functional Programming using Haskell has been thoroughly updated and revised to provide a complete grounding in the principles …
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is that even correctly-implemented concurrency abstractions …
A history of Haskell Page 1 A History of Haskell: Being Lazy With Class Paul Hudak Yale University paul.hudak@yale.edu John Hughes Chalmers University rjmh@cs.chalmers.se …
The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach …
L Augustsson - ACM SIGPLAN Notices, 1998 - dl.acm.org
Cayenne is a Haskell-like language. The main difference between Haskell and Cayenne is that Cayenne has dependent types, ie, the result type of a function may depend on the …
Z Wan, P Hudak - Proceedings of the ACM SIGPLAN 2000 conference …, 2000 - dl.acm.org
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of …