Concurrent Haskell

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Concurrent Haskell

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

St. Petersburg Beach, Florida, United States

Pages: 295 - 308

Year of Publication: 1996

ISBN:0-89791-769-3

Authors

Simon Peyton Jones
Andrew Gordon
Sigbjorn Finne

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 49

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/237721.237794 What is a DOI?

CITED BY 49

	Simon Marlow , Simon Peyton Jones , Andrew Moran , John Reppy, Asynchronous exceptions in Haskell, ACM SIGPLAN Notices, v.36 n.5, p.274-285, May 2001
	P. W. Trinder , K. Hammond , J. S. Mattson, Jr. , A. S. Partridge , S. L. Peyton Jones, GUM: a portable parallel implementation of Haskell, ACM SIGPLAN Notices, v.31 n.5, p.79-88, May 1996
	Conal Elliott , Paul Hudak, Functional reactive animation, ACM SIGPLAN Notices, v.32 n.8, p.263-273, Aug. 1997
	Zhanyong Wan , Paul Hudak, Functional reactive programming from first principles, ACM SIGPLAN Notices, v.35 n.5, p.242-252, May 2000
	Enno Scholz, Imperative streams—a monadic combinator library for synchronous programming, ACM SIGPLAN Notices, v.34 n.1, p.261-272, Jan. 1999
	Conal Elliott, Declarative event-oriented programming, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.56-67, September 20-23, 2000, Montreal, Quebec, Canada
	Natalio Krasnogor , Pablo E. Martínez López , Pablo Mocciola , David Pelta, Protein folding meets functional programming (poster), ACM SIGPLAN Notices, v.32 n.8, p.313, Aug. 1997
	Simon Peyton Jones , Mark Shields , John Launchbury , Andrew Tolmach, Bridging the gulf: a common intermediate language for ML and Haskell, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.49-61, January 19-21, 1998, San Diego, California, United States
	Philip Wadler , Peter Thiemann, The marriage of effects and monads, ACM Transactions on Computational Logic (TOCL), v.4 n.1, p.1-32, January 2003
	Lyndon While , Greg Mildenhall, An implementation of parallel pattern-matching via concurrent haskell, Australian Computer Science Communications, v.24 n.1, p.293-302, January-February 2002
	Philip Wadler, How to declare an imperative, ACM Computing Surveys (CSUR), v.29 n.3, p.240-263, Sept. 1997
	Andrew Moran , David Sands , Magnus Carlsson, Erratic fudgets: a semantic theory for an embedded coordination language, Science of Computer Programming, v.46 n.1-2, p.99-135, January/February 2003
	Simon Marlow , Simon Peyton Jones , Wolfgang Thaller, Extending the Haskell foreign function interface with concurrency, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA
	Colin J. Taylor, A theory of core fudgets, ACM SIGPLAN Notices, v.34 n.1, p.75-85, Jan. 1999
	Naoki Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.2, p.436-482, March 1998
	George Russell, Events in Haskell, and how to implement them, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Manuel Serrano , Frédéric Boussinot , Bernard Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.203-214, August 24-26, 2004, Verona, Italy
	Jan Christiansen , Frank Huch, Searching for deadlocks while debugging concurrent haskell programs, ACM SIGPLAN Notices, v.39 n.9, September 2004
	Lars Michael Kristensen , Søren Christensen, Implementing Coloured Petri Nets Using a Functional Programming Language, Higher-Order and Symbolic Computation, v.17 n.3, p.207-243, September 2004
	Tim Harris , Simon Marlow , Simon Peyton-Jones , Maurice Herlihy, Composable memory transactions, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	Paweł T. Wojciechowski, Isolation-only transactions by typing and versioning, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.70-81, July 11-13, 2005, Lisbon, Portugal
	Tim Harris , Simon Marlow , Simon Peyton Jones, Haskell on a shared-memory multiprocessor, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.49-61, September 30-30, 2005, Tallinn, Estonia
	Niklas Broberg, Haskell server pages through dynamic loading, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.39-48, September 30-30, 2005, Tallinn, Estonia
	Lyndon While , Tony Field, Optimising parallel pattern-matching by source-level program transformation, Proceedings of the Twenty-eighth Australasian conference on Computer Science, p.239-248, January 01, 2005, Newcastle, Australia
	Cristian Perfumo , Nehir Sönmez , Srdjan Stipic , Osman Unsal , Adrián Cristal , Tim Harris , Mateo Valero, The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment, Proceedings of the 2008 conference on Computing frontiers, May 05-07, 2008, Ischia, Italy
	J. Niehren , J. Schwinghammer , G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, v.364 n.3, p.338-356, 8 November 2006
	Manuel M. T. Chakravarty , Roman Leshchinskiy , Simon Peyton Jones , Gabriele Keller , Simon Marlow, Data parallel Haskell: a status report, Proceedings of the 2007 workshop on Declarative aspects of multicore programming, p.10-18, January 16-16, 2007, Nice, France
	Kevin Donnelly , Matthew Fluet, Transactional events, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Peter Thiemann, User-level transactional programming in Haskell, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Malcolm Dowse , Andrew Butterfield, Modelling deterministic concurrent I/O, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	Tim Harris , Simon Marlow , Simon Peyton Jones , Maurice Herlihy, Composable memory transactions, Communications of the ACM, v.51 n.8, August 2008
	Peng Li , Steve Zdancewic, Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Satnam Singh, Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective, Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays, February 18-20, 2007, Monterey, California, USA
	Clemens Grelck, Shared memory multiprocessor support for functional array processing in SAC, Journal of Functional Programming, v.15 n.3, p.353-401, May 2005
	Rita Loogen , Yolanda Ortega-mallén , Ricardo Peña-marí, Parallel functional programming in Eden, Journal of Functional Programming, v.15 n.3, p.431-475, May 2005
	Koen Claessen, A poor man's concurrency monad, Journal of Functional Programming, v.9 n.3, p.313-323, May 1999
	Margaret Burnett , John Atwood , Rebecca Walpole Djang , James Reichwein , Herkimer Gottfried , Sherry Yang, Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm, Journal of Functional Programming, v.11 n.2, p.155-206, March 2001
	Simon Marlow, Developing a high-performance web server in Concurrent Haskell, Journal of Functional Programming, v.12 n.5, p.359-374, July 2002
	P. W. Trinder , H.-W. Loidl , R. F. Pointon, Parallel and Distributed Haskells, Journal of Functional Programming, v.12 n.5, p.469-510, July 2002
	Matthew Fluet , Mike Rainey , John Reppy , Adam Shaw, Implicitly-threaded parallelism in Manticore, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Tim Harris , Satnam Singh, Feedback directed implicit parallelism, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Luís Barbosa , Jácome Cunha , Joost Visser, A type-level approach to component prototyping, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.23-36, September 03-04, 2007, Dubrovnik, Croatia
	Roly Perera, Programming Languages For Interactive Computing, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.3, p.35-52, May, 2008
	Riccardo Pucella , Jesse A. Tov, Haskell session types with (almost) no class, Proceedings of the first ACM SIGPLAN symposium on Haskell, September 25-25, 2008, Victoria, BC, Canada
	Kevin Donnelly , Matthew Fluet, Transactional events1, Journal of Functional Programming, v.18 n.5-6, p.649-706, September 2008
	Martin Sulzmann , Edmund S.L. Lam , Simon Marlow, Comparing the performance of concurrent linked-list implementations in Haskell, Proceedings of the 4th workshop on Declarative aspects of multicore programming, January 20-20, 2009, Savannah, GA, USA
	Arnar Birgisson , Úlfar Erlingsson, An implementation and semantics for transactional memory introspection in Haskell, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, June 15-21, 2009, Dublin, Ireland
	Sebastian Fischer, Lazy Database Access with Persistent Predicates, Electronic Notes in Theoretical Computer Science (ENTCS), 177, p.185-200, June, 2007