Filters








20 Hits in 4.8 sec

Functional pearl: a smart view on datatypes

Mauro Jaskelioff, Exequiel Rivas
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype.  ...  We introduce the notion of smart view and show how it solves the problem of slow leftnested operations.  ...  In order to optimise a datatype using its algebraic properties, it is a good idea to have a smart view on it. ICFP '15, September 01 -03, 2015, Vancouver, BC, Canada.  ... 
doi:10.1145/2784731.2784743 dblp:conf/icfp/JaskelioffR15 fatcat:hpgbej3wc5ciporvk26fk5wsbu

Functional pearl: a smart view on datatypes

Mauro Jaskelioff, Exequiel Rivas
2015 SIGPLAN notices  
Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype.  ...  We introduce the notion of smart view and show how it solves the problem of slow leftnested operations.  ...  In order to optimise a datatype using its algebraic properties, it is a good idea to have a smart view on it. ICFP '15, September 01 -03, 2015, Vancouver, BC, Canada.  ... 
doi:10.1145/2858949.2784743 fatcat:c2g3eulzrjbajivgirabcsycmi

Equality proofs and deferred type errors

Dimitrios Vytiniotis, Simon Peyton Jones, José Pedro Magalhães
2012 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12  
We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors.  ...  Acknowledgments Particular thanks are due to Etienne Laurin, who suggested to us the idea of deferring type errors (GHC Trac ticket 5624), although his implementation was very different to the one described  ...  In our view this is a trade-off worth making.  ... 
doi:10.1145/2364527.2364554 dblp:conf/icfp/VytiniotisJM12 fatcat:6lyhgwmh4fdvflk4bxryrmd344

Equality proofs and deferred type errors

Dimitrios Vytiniotis, Simon Peyton Jones, José Pedro Magalhães
2012 SIGPLAN notices  
We describe a simple, elegant technique that exploits these equality proofs to support deferred type errors.  ...  Acknowledgments Particular thanks are due to Etienne Laurin, who suggested to us the idea of deferring type errors (GHC Trac ticket 5624), although his implementation was very different to the one described  ...  In our view this is a trade-off worth making.  ... 
doi:10.1145/2398856.2364554 fatcat:ktmpsoe3gra7pkkhl6iunmwmcu

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq [chapter]

Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Esteves-Verissimo
2018 Lecture Notes in Computer Science  
We handle all the functionalities of the base protocol, including garbage collection and view change, which are essential in practical protocols.  ...  For example it can be one that is controlled by an attacker, or simply one that contains a bug.  ...  As mentioned above, we implemented the digital signature-based version of PBFT, while BFT-SMaRt uses a more efficient MAC-based authentication scheme, which in part explains why BFT-SMaRt is around one  ... 
doi:10.1007/978-3-319-89884-1_22 fatcat:megombf5b5fuxnjkh4ff5xvnia

Combining predicate transformer semantics for effects: a case study in parsing regular languages

Anne Baanen, Wouter Swierstra
2020 Electronic Proceedings in Theoretical Computer Science  
This paper describes how to verify a parser for regular expressions in a functional programming language using predicate transformer semantics for a variety of effects.  ...  Where our previous work in this area focused on the semantics for a single effect, parsing requires a combination of effects: non-determinism, general recursion and mutable state.  ...  This work is in the spirit of a Theoretical Pearl [11] : we begin by defining a match function that does not terminate.  ... 
doi:10.4204/eptcs.317.3 fatcat:p6sxca6b6nd6blbhpbbfwafxd4

Multi-Model Evolution through Model Repair

Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 Journal of Object Technology  
In this paper, we present a comprehensive feature model providing an overview of the current state of the art of model management.  ...  At the same time, these models are subject to frequent changes, and as a result, maintaining their global consistency over time becomes an important issue in model management in general and Model-Driven  ...  The replaced part is determined by a function, the so-called view definition.  ... 
doi:10.5381/jot.2021.20.1.a2 fatcat:u45ymv6chrdrlbitoiyayhx6ba

cucs-023-99.pdf [article]

2017
The choice of programming language has a huge effect on the algorithms and data structures that are to be implemented in that language.  ...  This workshop considers the algorithmic implications of choosing an advanced functional or logic programming language instead.  ...  Functional Pearl: Perfect trees and bit-reversal permutations. Journal of Functional Programming, 1999. To appear. [11] Ralf Hinze. Polytypic functions over nested datatypes (extended abstract).  ... 
doi:10.7916/d81g0zcp fatcat:brywhf6eo5earbzmqkdqrknahu

Organizing institutions

2016 2016 10th International Conference on Software, Knowledge, Information Management & Applications (SKIMA)  
Acknowledgments The authors thank the Fundação Araucária of Paraná, Brazil and the Portuguese Fundação para a Ciência e Tecnologia through the financial support of INESC-ID funding under project PEst-OE  ...  We studied a number of them that could be used in the area of biodiversity. In [Xiong et al. 2009 ], a method of search based on a smart query agent is proposed (Geoonto).  ...  One way to capture the probabilistic structure of a network is through graph-based models such as Markov random fields or Bayesian networks [Pearl 1988 ].  ... 
doi:10.1109/skima.2016.7916183 fatcat:ctichxcphnhj7ci3h4lu662gbi

Organizing institutions

2015 2015 21st International Conference on Automation and Computing (ICAC)  
Acknowledgments The authors thank the Fundação Araucária of Paraná, Brazil and the Portuguese Fundação para a Ciência e Tecnologia through the financial support of INESC-ID funding under project PEst-OE  ...  We studied a number of them that could be used in the area of biodiversity. In [Xiong et al. 2009 ], a method of search based on a smart query agent is proposed (Geoonto).  ...  One way to capture the probabilistic structure of a network is through graph-based models such as Markov random fields or Bayesian networks [Pearl 1988 ].  ... 
doi:10.1109/iconac.2015.7313649 fatcat:prpaqk2d4bhnlom25xxztiimaq

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning [article]

Sandra Dylus
2020 arXiv   pre-print
By applying a non-deterministic predicate to these sorting functions, we gain a permutation enumeration function.  ...  On the other hand, we present an idea to apply formal reasoning on effectful declarative programming languages. In order to start with simple effects, we focus on modelling a functional subset first.  ...  Modelling Curry Programs Besides the generic view on modelling effects and the focus on modelling or reasoning about Haskell, we also take a look at related work on proving properties about functional  ... 
arXiv:2006.01531v1 fatcat:s7nl4qdd5veo7fv64cpg3buvwm

Resolving and Mediating Ambiguous Contexts in Pervasive Environments [chapter]

Nirmalya Roy, Sajal K. Das, Christine Julien
Smart Healthcare Applications and Services  
through a utility function.  ...  be viewed as a shared, highly reusable infrastructure.  ...  Bayesian Networks: A probabilistic framework that represents a set of random variables and their conditional independence. Multi Sensor Fusion: Data fusion based on multi-modal sensors.  ... 
doi:10.4018/978-1-60960-180-5.ch006 fatcat:uyscvlymonacjjiptyzyeckut4

Resolving and Mediating Ambiguous Contexts in Pervasive Environments [chapter]

Nirmalya Roy, Sajal K. Das, Christine Julien
User-Driven Healthcare  
through a utility function.  ...  be viewed as a shared, highly reusable infrastructure.  ...  Bayesian Networks: A probabilistic framework that represents a set of random variables and their conditional independence. Multi Sensor Fusion: Data fusion based on multi-modal sensors.  ... 
doi:10.4018/978-1-4666-2770-3.ch031 fatcat:2tpihefyffddzosl7eqtzalryy

FMS-Berichte

Hans Meier, Michael Niemetz, Andrea Reindl
2021 unpublished
Case study: Pearl river tower, guangzhou, china: Towards zero energy. Council on Tall Buildings and Urban Habitat, 2008.  ...  The Pearl River Tower located in Guangzhou, China. The 310 m high office tower has a total of 71 floors.  ... 
doi:10.35096/othr/pub-1915 fatcat:l4lhayhfe5ax7cw46vsdn2nxum

OPTIMIZATION OF NONSTANDARD REASONING SERVICES [article]

Iliana Mineva Petrova
2017
So, in general, the maximal secure views of NCM are not secure according to Def. 3.2.3. Next, we define a secure filtering function. It is formulated as an iterative process based on a censor.  ...  For each feature name f ∈ N F and interpretation function I , f I is a partial function from ∆ I to ∆ D .  ...  Clinical Document Architecture (CDA) is an international standard for information exchange, based on the Health Level 7 Reference  ... 
doi:10.6093/unina/fedoa/11873 fatcat:3wl42ekaa5byzoge7vfsdikama
« Previous Showing results 1 — 15 out of 20 results