A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
2008
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09
Preserved Fulltext
One such technique is shortcut fusion, and has been studied in the context of both pure and monadic functional programs. ...
In this paper, we propose an extension to this new form of fusion, but in the context of monadic programming: we derive monadic circular programs from strict ones, maintaining the global effects. ...
Second, we extend the generic rule to the context of monadic programming, obtaining shortcut fusion rules for the derivation of monadic higher-order programs. ...
doi:10.1145/1480945.1480958
dblp:conf/pepm/PardoFS09
fatcat:d6izn4utd5dodl7vshy6dndgxm
Shortcut fusion rules for the derivation of circular and higher-order programs
2011
Higher-Order and Symbolic Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we study several shortcut fusion extensions, so that, alternatively, circular or higher-order programs are derived. ...
One such technique is shortcut fusion, and has been studied in the context of both pure and monadic functional programs. ...
Acknowledgements We wish to thank the anonymous reviewers for detailed and insightful comments on earlier versions of this paper. ...
doi:10.1007/s10990-011-9076-x
fatcat:xdx6lbrtwvcqtpheaxhv4lpq7i
Editorial
2011
Higher-Order and Symbolic Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In "Shortcut fusion rules for the derivation of circular and higher-order programs," Alberto Pardo, João Fernandes and João Saraiva present new shortcut fusion rules for the derivation of circular and ...
Moreover, the formulation of the rules is general enough to be instantiated for a wide class of algebraic data types and monads. ...
doi:10.1007/s10990-011-9069-9
fatcat:sminlhgc35avllbjfrt3l55woe
Multiple Intermediate Structure Deforestation by Shortcut Fusion
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Shortcut fusion has already been extended in several ways. It can be applied to monadic programs, maintaining the global effects, and also to obtain circular and higherorder programs. ...
Shortcut fusion is a well-known optimization technique for functional programs. ...
This extension has been fundamental for the formulation of shortcut fusion laws for monadic programs [15, 16] , and for the derivation of (monadic) circular and higher-order programs [3] . ...
doi:10.1007/978-3-642-40922-6_9
fatcat:sz7lxtd2sbflxjyf2nh3wphc5a
Multiple intermediate structure deforestation by shortcut fusion
2016
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Shortcut fusion has already been extended in several ways. It can be applied to monadic programs, maintaining the global effects, and also to obtain circular and higher-order programs. ...
Shortcut fusion is a well-known optimization technique for functional programs. ...
Acknowledgements We would like to thank the anonymous reviewers for their detailed and helpful comments. ...
doi:10.1016/j.scico.2016.07.004
fatcat:w7q4b3g3branhfhygkngjku7xu
Algebraic fusion of functions with an accumulating parameter and its improvement
2006
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The producer function is fused with a monoid homomorphism that is derived from the definition of the consumer function, and is turned into a higher-order function f that computes over the monoid of endofunctions ...
It also presents a clean and unifying account for varying fusion methods that have been proposed so far. ...
Acknowledgment The authors thank anonymous reviewers for their constructive criticisms and encouraging comments. ...
doi:10.1145/1159803.1159835
dblp:conf/icfp/KatsumataN06
fatcat:3ytj6pb6ljfdtbzluycngdh2ha
Algebraic fusion of functions with an accumulating parameter and its improvement
2008
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The producer function is fused with a monoid homomorphism that is derived from the definition of the consumer function, and is turned into a higher-order function f that computes over the monoid of endofunctions ...
It also presents a clean and unifying account for varying fusion methods that have been proposed so far. ...
Acknowledgment The authors thank anonymous reviewers for their constructive criticisms and encouraging comments. ...
doi:10.1017/s095679680800693x
fatcat:3hyotwypd5bwncapcstehyolmi
Algebraic fusion of functions with an accumulating parameter and its improvement
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The producer function is fused with a monoid homomorphism that is derived from the definition of the consumer function, and is turned into a higher-order function f that computes over the monoid of endofunctions ...
It also presents a clean and unifying account for varying fusion methods that have been proposed so far. ...
Acknowledgment The authors thank anonymous reviewers for their constructive criticisms and encouraging comments. ...
doi:10.1145/1160074.1159835
fatcat:vb44vxfwazdhlgu5uj3qqkkyqy
APL since 1978
2020
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The writing of the paper was supported by a grant from First Derivatives plc and its Kx Division. ...
We thank Guy Steele and the other anonymous referees for their comments and suggestions. We are indebted to Guy Steele for "shepherding" the paper. ...
The examples on the right illustrate deriving a function from an operator (a higher-order function), and then applying it to an argument. ...
doi:10.1145/3386319
fatcat:5ciab2d6qjeutcaq2t6oz7huwe
The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In order to make UnCAL more flexible and fruitful for further extensions and applications, in this paper, we give a more conceptual understanding of UnCAL using categorical semantics. ...
We show that the axiomatisation is complete for the original bisimulation semantics of UnCAL. ...
Acknowledgments We are grateful to Zhenjiang Hu and the members of the Bidirectional Graph Transformation Project at NII for various discussions on topics related to UnQL/UnCAL. ...
arXiv:1511.08851v2
fatcat:hexzebskaffunha7ni5zudjpki
Is Consciousness Primary?
2008
NeuroQuantology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Six arguments against the view that conscious experience derives from a material basis are reviewed. ...
This unfamiliar stance involves (i) a complete redefinition of the boundary between unquestioned assumptions and relevant questions ; (ii) a descent towards the common ground of the statements of phenomenology ...
areas of the brain must be activated ; • Rosenthal's theory says that higher-order thoughts (and associated recursive activity of the neurons) are indispensible for experience ; • Finally, Crick's and ...
doi:10.14704/nq.2008.6.1.157
fatcat:hzcfzkzhlneyrdbsmnd2okjebu
Global Constitutionalism without Global Democracy (?)
2016
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
and the risk of tyranny. ...
The volume includes analyses of the role of China and the EU, two of the most important actors, even though perhaps at the opposite pole of the global constitutional project. ...
For Kant, there is no shortcut to the achievement of a legitimate order, one derogating from compliance with both an internal and external standard of legitimacy. ...
doi:10.2139/ssrn.2880469
fatcat:5fxg7h55fncebpqx4fs5qvujgu
Cognitive Constructivism and the Epistemic Significance of Sharp Statistical Hypotheses in Natural Sciences
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The basic metaphor presented in this text, as a foundation for cognitive constructivism, is that of an eigen-solution, and the verification of its objective epistemic status. ...
This book presents our case in defense of a constructivist epistemological framework and the use of compatible statistical theory and inference tools. ...
These new objects can then be used as stepping stones or building blocks for the construction of new, higher order theories. ...
arXiv:1006.5471v8
fatcat:v375ybolz5bkbe6ordmjnnulhi
Reassembling the monad: the intellectual genealogy of an actant rhizome ontology
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The present study charts the development of the monad through the modern period, beginning with the work of Gottfried Leibniz and, thereafter, its recurrence in the work of Gabriel Tarde, Alfred North ...
(Leibniz, Monadology) From its origins in antiquity the monad is a concept that has time and again beguiled and attracted philosophers. ...
the abandonment of rules, but the substitution of a clear, simple set of rules with a messy, confused multiplicity of competing rules derived from common language and social convention. ...
doi:10.5525/gla.thesis.76784
fatcat:ocptboulefaavea2q43qdlwhb4
Ask A Genius: Set II
2016
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Mastin, 2009; Shu, 2016) . 1 We were the product of billions of years of evolution and are highly ordered. ...
That we are more ordered with all of our agents and feedback systems than hot lava on the surface of primitive Earth or bunch of flying hydrogen and helium 300,000 years after the purported Big Bang ( ...
The deepest virtues tend to be linked to The Golden Rule, and you can link The Golden Rule to order and persistence in the world. That we're creations of a world of increasing order. ...
fatcat:njae6hx7znavpa3mv4hkfawqge
« Previous
Showing results 1 — 15 out of 31 results