Filters








31 Hits in 8.0 sec

Shortcut fusion rules for the derivation of circular and higher-order monadic programs

Alberto Pardo, João Paulo Fernandes, João Saraiva
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
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

Alberto Pardo, João Paulo Fernandes, João Saraiva
2011 Higher-Order and Symbolic Computation  
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

Julia Lawall, Germán Puebla, Germán Vidal
2011 Higher-Order and Symbolic Computation  
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]

Alberto Pardo, João Paulo Fernandes, João Saraiva
2013 Lecture Notes in Computer Science  
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

Alberto Pardo, João Paulo Fernandes, João Saraiva
2016 Science of Computer Programming  
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

Shin-ya Katsumata, Susumu Nishimura
2006 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06  
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

SHIN-YA KATSUMATA, SUSUMU NISHIMURA
2008 Journal of functional programming  
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

Shin-ya Katsumata, Susumu Nishimura
2006 SIGPLAN notices  
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

Roger K. W. Hui, Morten J. Kromberg
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
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]

Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
2016 arXiv   pre-print
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?

Michel Bitbol
2008 NeuroQuantology  
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 (?)

Claudio Corradetti, Giovanni Sartor, Dimitri Van Den Meerssche, Aoife O'Donoghue, Pavlos Eleftheriadis, Maria Adele Carrai, Ernst-Ulrich Petersmann
2016 Social Science Research Network  
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]

J.M. Stern
2020 arXiv   pre-print
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

Christopher John Cassells
2019
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

Scott Douglas, Jacobsen, Rick Rosner
2016 unpublished
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