Filters








1,560 Hits in 3.5 sec

The Cost of Usage in the ?-Calculus

Andrea Asperti, Jean-Jacques Levy
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnybbxuptncftdgxtodn5edz7m" style="color: black;">2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science</a> </i> &nbsp;
The normal reduction σ s can be much longer (a double-exponential, in the worst case) than the shortest reduction σ: |σ s | ≤ |M| 2 |σ|  ...  A.Asperti, J.J.LévyThe cost of usage in the λ-calculus LICS 2013 16  ...  A.Asperti, J.J.Lévy The cost of usage in the λ-calculus LICS 2013 Sinking to a rigid prefix Lemma Let σ : M N and let A be a rigid prefix of N.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2013.35">doi:10.1109/lics.2013.35</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/AspertiL13.html">dblp:conf/lics/AspertiL13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/meoownavjjdqzhoxkdgr3xqzv4">fatcat:meoownavjjdqzhoxkdgr3xqzv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319221342/http://www.cs.unibo.it/%7easperti/SLIDES/lics13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/12/2212190c9b824d348e86b1842b9e02d4d7605f1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2013.35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

No more, no less - A formal model for serverless computing [article]

Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro
<span title="2019-05-01">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we propose the first formal programming model for serverless computing, which combines ideas from both the λ-calculus (for functions) and the π-calculus (for communication).  ...  The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure.  ...  This holds true also when estimating resource usage/costs, due to the complexity of unfolding all possible concurrent computations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.07962v2">arXiv:1903.07962v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wcpnavpg5vcqjhmqetbmfbik2y">fatcat:wcpnavpg5vcqjhmqetbmfbik2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191021034320/https://arxiv.org/pdf/1903.07962v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f4/8a/f48ac750da1d3de6febe2f07822e1bfa009b4584.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.07962v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Learning to Map Chinese Sentences to Logical Forms [chapter]

Zhihua Liao, Zili Zhang
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The training data consist of Chinese natural language sentences paired with logical representations of their meaning.  ...  This paper addresses the problem of learning to map Chinese sentences to logical forms.  ...  defined in the lambda calculus [4] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39787-5_38">doi:10.1007/978-3-642-39787-5_38</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sy3tu6xavvfinbneacehyoiv7e">fatcat:sy3tu6xavvfinbneacehyoiv7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160909202406/http://wyxy.hunnu.edu.cn/people/paper/ksem-14.pdf????/????/paper/ksem-14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/34/a5340b4f68e2641d32f337488aa8753b835f2f86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39787-5_38"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages

Stephen Gilmore, Olha Shkaravska
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We supplement the syntactic type inference procedure of the functional language with a separate analysis which estimates the costs of memory leaks incurred by calls to garbage collection-ignorant functions  ...  We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in low-level languages without  ...  The example of an impure Camelot application given in Section 4 was produced by Matthew Prowse of the MRG project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.03.010">doi:10.1016/j.entcs.2006.03.010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xf6k25wxtrgwxbkrnzrkkhw7pm">fatcat:xf6k25wxtrgwxbkrnzrkkhw7pm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706092522/http://homepages.inf.ed.ac.uk/stg/publications/entcs2006b.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/57/dc5744c351f67ee20a76faffb36bc276e9de2473.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.03.010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Lambda calculus as a workflow model

Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn
<span title="">2009</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o454xj4tdjfllm3oragfkdrffi" style="color: black;">Concurrency and Computation</a> </i> &nbsp;
We discuss how these can be modeled using lambda calculus, and how ideas from functional programming are applicable in the design of workflows.  ...  The presented approach also permits high-level workflow features to be implemented at user level, in terms of a small set of low-level primitives provided by the language implementation.  ...  Lambda calculus Lambda calculus [2] is an abstract model of computation which is the theoretical foundation of functional programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.1448">doi:10.1002/cpe.1448</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/446xuff7lfei3aa2co6kw25hwi">fatcat:446xuff7lfei3aa2co6kw25hwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110215225938/http://www.dhpc.adelaide.edu.au/reports/189/dhpc-189.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/58/b2582b9ffb40b00ba8da7d8f93936967b48d7737.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.1448"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Lambda Calculus as a Workflow Model

Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n4vhbbe7cfhctekjgywy42x2ai" style="color: black;">2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops</a> </i> &nbsp;
We discuss how these can be modeled using lambda calculus, and how ideas from functional programming are applicable in the design of workflows.  ...  The presented approach also permits high-level workflow features to be implemented at user level, in terms of a small set of low-level primitives provided by the language implementation.  ...  Lambda calculus Lambda calculus [2] is an abstract model of computation which is the theoretical foundation of functional programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/gpc.workshops.2008.38">doi:10.1109/gpc.workshops.2008.38</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gpc/KellyCW08.html">dblp:conf/gpc/KellyCW08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/usih6kyd6bhqjdsz3b5bbewcna">fatcat:usih6kyd6bhqjdsz3b5bbewcna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810145618/http://cs.adelaide.edu.au/~pmk/publications/wage2008.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/88/c588c5eb107b314420a7c8d6e4801659b1d3bdca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/gpc.workshops.2008.38"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Once upon a type

David N. Turner, Philip Wadler, Christian Mossin
<span title="">1995</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikf7rfxtizdmhizubsuv24yj24" style="color: black;">Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA &#39;95</a> </i> &nbsp;
Our type system can easily be modified to analyse usage in a call-by-value language.  ...  Call-by-name reduction does not provide an accurate model of how often a value is used during lazy evaluation, since it duplicates work which would actually be shared in a real implementation.  ...  Acknowledgements The ideas described here grew out of collaboration with the Glasgow functional programming group, especially Simon Peyton Jones, John Launchbury, Andy Gill, Simon Marlow, Will Partain,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/224164.224168">doi:10.1145/224164.224168</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fpca/TurnerWM95.html">dblp:conf/fpca/TurnerWM95</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gxvdsuzegrbs7bsxfb7uskb4aa">fatcat:gxvdsuzegrbs7bsxfb7uskb4aa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705083825/http://repository.readscheme.org/ftp/papers/topps/D-231.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/44/4844461c4342cadffabc647ef1c006e1331ea59f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/224164.224168"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The Impact of the Lambda Calculus in Logic and Computer Science

Henk Barendregt
<span title="">1997</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nxnim3i24fhcvkvgruk2dej7yu" style="color: black;">Bulletin of Symbolic Logic</a> </i> &nbsp;
One of the most important contributions of A. Church to logic is his invention of the lambda calculus.  ...  of reasoning and the resulting systems of computer mathematics on the other hand.  ...  The lambda calculus introduced in [28] is the untyped /ll-calculus in which an abstraction Ax.M is only allowed if x occurs among the free variables of M .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/421013">doi:10.2307/421013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v7nedk3s3vfk3mob6ao5sl4b74">fatcat:v7nedk3s3vfk3mob6ao5sl4b74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210801044453/https://repository.ubn.ru.nl/bitstream/handle/2066/17274/1/13362.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/b3/44b398fdafe348fd8f86cd34dcf13dd94299882a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/421013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> jstor.org </button> </a>

Erratic Fudgets: a semantic theory for an embedded coordination language

Andrew Moran, David Sands, Magnus Carlsson
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
This paper is concerned with a successful example of such an embedded programming language, namely Fudgets, a library of combinators for building graphical user interfaces in the lazy functional language  ...  The interaction of two features of stream processors makes the development of such a semantic theory problematic: (i) the sharing of computation provided by the lazy evaluation mechanism of the underlying  ...  Lassen and Moran [29] also consider McCarthy's amb, in the context of a call-byname lambda calculus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(02)00088-6">doi:10.1016/s0167-6423(02)00088-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/znb7v7ytybfprezr23ekgeze3q">fatcat:znb7v7ytybfprezr23ekgeze3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061012174519/http://www.cs.chalmers.se/~dave/papers/Moran-Sands-Carlsson-SCP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/0f/2a0f258ce16715e08a1a173d22ad2b58d06df4b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(02)00088-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language [chapter]

Andrew Moran, David Sands, Magnus Carlsson
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper is concerned with a successful example of such an embedded programming language, namely Fudgets, a library of combinators for building graphical user interfaces in the lazy functional language  ...  The interaction of two features of stream processors makes the development of such a semantic theory problematic: (i) the sharing of computation provided by the lazy evaluation mechanism of the underlying  ...  Lassen and Moran [29] also consider McCarthy's amb, in the context of a call-byname lambda calculus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48919-3_8">doi:10.1007/3-540-48919-3_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3r4we64akjbkxeqwbwalkrztb4">fatcat:3r4we64akjbkxeqwbwalkrztb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061012174519/http://www.cs.chalmers.se/~dave/papers/Moran-Sands-Carlsson-SCP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/0f/2a0f258ce16715e08a1a173d22ad2b58d06df4b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48919-3_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Catala: A Programming Language for the Law [article]

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
<span title="2021-03-04">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We evaluate Catala on several legal texts that are algorithms in disguise, notably section 121 of the US federal income tax and the byzantine French family benefits; in doing so, we uncover a bug in the  ...  of the law.  ...  ACKNOWLEDGMENTS We want to thank first the lawyers at the heart of the Catala project: Sarah Lawsky and Liane Huttner.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.03198v1">arXiv:2103.03198v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rdqgzi3ibbbvdkugoufyat2qzi">fatcat:rdqgzi3ibbbvdkugoufyat2qzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210410025507/https://arxiv.org/pdf/2103.03198v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/da/03daaa228e050dd9feac0e11466d347c0fdaaf72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.03198v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Explicit substitutions in the reduction of lambda terms

Gopalan Nadathur, Xiaochu Qi
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP &#39;03</a> </i> &nbsp;
Substitution in the lambda calculus is a complex operation that traditional presentations of beta contraction naively treat as a unitary operation. Actual implementations are more careful.  ...  This approach does not allow the smaller substitution steps to be intermingled with other operations of interest on lambda terms.  ...  ACKNOWLEDGEMENTS This work was supported in part by Grant CCR-0096322 from the NSF and by a Grant in Aid of Research from the University of Minnesota.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888270">doi:10.1145/888251.888270</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/NadathurQ03.html">dblp:conf/ppdp/NadathurQ03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jzaw6b4fyzhqzn2t62jfcugyqy">fatcat:jzaw6b4fyzhqzn2t62jfcugyqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080704202046/http://www-users.cs.umn.edu/~gopalan/papers/reduction.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/6a/de6a5fc417984606bfd8b510178aeda3afdf9a03.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888270"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Mapping the Join Calculus to Heterogeneous Hardware

Peter Calvert, Alan Mycroft
<span title="2013-02-23">2013</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
In this paper, we take the Join Calculus, an elegant model for concurrent computation, and show how it can be mapped to an architecture by a Cartesian-product-style construction, thereby making use of  ...  the calculus' inherent non-determinism to encode placement choices.  ...  Acknowledgements We thank the Schiff Foundation, University of Cambridge, for funding this research through a PhD studentship; the anonymous reviewers for useful comments and corrections; and also Tomas  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.109.2">doi:10.4204/eptcs.109.2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p5mjxoz4hrhojhejkypzt22q2i">fatcat:p5mjxoz4hrhojhejkypzt22q2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131124151451/http://www.cl.cam.ac.uk:80/~prc33/publications/2012-join-places.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2e/20/2e20c49d7271665c5f61ef061351b9667c3fc5cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.109.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

The design and implementation of a workflow analysis tool

V. Curcin, M. Ghanem, Y. Guo
<span title="2010-08-02">2010</span> <i title="The Royal Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ercgg4vn2fenngurcnadfzdfri" style="color: black;">Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences</a> </i> &nbsp;
We use the framework to design the architecture of a customizable tool that can be used to analyse the key execution properties of scientific workflows at authoring stage.  ...  associated methods for analysing the execution properties of scientific workflows.  ...  Generic applicability of lambda calculus to workflows was investigated in Kelly et al. (2008) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rsta.2010.0157">doi:10.1098/rsta.2010.0157</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/20679131">pmid:20679131</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ecoqdce3zba3xmdt2jzcjjwn5u">fatcat:ecoqdce3zba3xmdt2jzcjjwn5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219074716/http://pdfs.semanticscholar.org/17d1/84a794795787adb6d6c28abb27cc251e70d5.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/17/d1/17d184a794795787adb6d6c28abb27cc251e70d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1098/rsta.2010.0157"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Lambda-Calculus with letrec, case, constructors and non-determinism [article]

Manfred Schmidt-Schauß, Michael Huber
<span title="2000-11-06">2000</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It is shown that several program transformations are correct, for example all (deterministic) rules of the calculus, and in addition the rules for garbage collection, removing indirections and unique copy  ...  A non-deterministic call-by-need lambda-calculus with case, constructors, letrec and a (non-deterministic) erratic choice, based on rewriting rules is investigated.  ...  The prominent syntactic property of the lambda-calculus is confluence of reduction [Bar84] . In the framework of a contextual semantics for the lambda-calculus (see e.g.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0011008v1">arXiv:cs/0011008v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yorghihpjvcxjoq7oq7eawqq3e">fatcat:yorghihpjvcxjoq7oq7eawqq3e</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0011008/cs0011008.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/39/f0393004985e009d0bdaa0dc839adce978ae5cc9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0011008v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,560 results