Constructing List Homomorphisms from Proofs-Reference-Cited by-同舟云学术

Constructing List Homomorphisms from Proofs

Published:2011 Issue: Volume: Page:74-88
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Chi Yun-Yan,Mu Shin-Cheng

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-25318-8_9

Reference10 articles.

1. NATO ASI Series F;R.S. Bird,1987

2. Bird, R.S.: Introduction to Functional Programming using Haskell. Prentice-Hall (1998)

3. Bird, R.S., de Moor, O.: Algebra of Programming. International Series in Computer Science. Prentice-Hall (1997)

4. Cole, M.: Parallel programming, list homomorphisms and the maximum segment sum problems. Tech. Rep. CSR-25-93, Department of Computer Science, University of Edinburgh (1993)

5. Dijkstra, E.W.: The next fifty years. Tech. Rep. EWD1243, Eindhoven University of Technology (2004)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lambda calculus with algebraic simplification for reduction parallelisation: Extended study;Journal of Functional Programming;2021

2. Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning;Proceedings of the ACM on Programming Languages;2019-07-26

3. Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms;ACM SIGPLAN Notices;2016-12-05

4. Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04

5. A short cut to parallelization theorems;ACM SIGPLAN Notices;2013-11-12