Author:
Launchbury John,Peyton Jones Simon L
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference38 articles.
1. Arvind, RS Nikhil & KK Pingali [Oct 1989], ?I-structures ? data structures for parallel computing,?TOPLAS 11, 598?632.
2. L Augustsson, M Rittri & D Synek [Jan 1994], ?On generating unique names,?Journal of Functional Programming 4, 117?123.
3. E Barendsen & JEW Smetsers [Dec 1993], ?Conventional and uniqueness typing in graph rewrite systems,? inProc 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, Springer Verlag LNCS.
4. PS Barth, RS Nikhil & Arvind [Sept 1991], ?M-structures: extending a parallel, non-strict functional language with state,? inFunctional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523, Springer Verlag, 538?568.
5. RS Bird [1984], ?Using circular programs to eliminate multiple traversals of data,?Acta Informatica 21, 239?250.
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Taming shared mutable states of operating systems in Rust;Science of Computer Programming;2024-12
2. Fault-tolerance at your Finger Tips with the TeamPlay Coordination Language;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
3. First-class names for effect handlers;Proceedings of the ACM on Programming Languages;2022-10-31
4. GhostCell: separating permissions from data in Rust;Proceedings of the ACM on Programming Languages;2021-08-22
5. Effect handlers in Haskell, evidently;Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09