Explicit Message Passing for Concurrent Clean
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Porting the Clean Object I/O Library to Haskell
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
wxHaskell: a portable and concise GUI library for haskell
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Shared memory multiprocessor support for functional array processing in SAC
Journal of Functional Programming
SAC: a functional array language for efficient multi-threaded execution
International Journal of Parallel Programming
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
A generic usage analysis with subeffect qualifiers
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Free theorems for functional logic programs
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Type inference in intuitionistic linear logic
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Uniqueness typing in natural deduction style
FP'95 Proceedings of the 1995 international conference on Functional Programming
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Hi-index | 0.00 |