Export Citations
2 Results for: Keyword: haskell
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,835,717 records)|Limit your search to The ACM Full-Text Collection (773,855 records)
Showing 1 - 2of2 Results
Select All
- research-articleSeptember 2012
Efficient lookup-table protocol in secure multiparty computation
ICFP '12: Proceedings of the 17th ACM SIGPLAN international conference on Functional programmingPages 189–200https://doi.org/10.1145/2364527.2364556Secure multiparty computation (SMC) permits a collection of parties to compute a collaborative result, without any of the parties gaining any knowledge about the inputs provided by other parties. Specifications for SMC are commonly presented as boolean ...
Also Published in:
ACM SIGPLAN Notices: Volume 47 Issue 9 - research-articleSeptember 2010
Concurrent orchestration in Haskell
Haskell '10: Proceedings of the third ACM Haskell symposium on HaskellPages 79–90https://doi.org/10.1145/1863523.1863534We present a concurrent scripting language embedded in Haskell, emulating the functionality of the Orc orchestration language by providing many-valued (real) non-determinism in the context of concurrent effects. We provide many examples of its use, as ...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 11
