-
101
Tracing monadic computations and representing effects
Published 2012“…In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping the means of acquiring it to themselves. …”
Conference item -
102
HOMES: A Higher−Order Mapping Evaluation System
Published 2011“…Our demonstration shows the utility of the system, explains the implementation architecture on top of a relational DBMS, and explains optimizations that combine subquery caching techniques from relational databases with sharing detection schemes from functional programming.…”
Journal article -
103
On the semantics of nested datatypes
Published 2001“…There is a unique morphism from each initial functional algebra to any other functional algebra. folds are standard operators in functional programming and satisfy fusion laws that are useful for program transformation. …”
Journal article -
104
Pointwise Relational Programming
Published 2000“…The combination of variables and relational combinators such as converse and choice yields a kind of nondeterministic functional programming language. We give a semantics for such a language, and illustrate with an example application.…”
Conference item -
105
More on Merging and Selection
Published 1997“…In his paper <i>On Merging and Selection</i> (<i>Journal of Functional Programming</i> 7(3), 1997), Bird considers the problem of computing the nth element of the list resulting from merging the two sorted lists x and y. …”
Report -
106
Higher-order decision theory
Published 2017“…It is directly implementable in functional programming languages. Lastly, modeling an agent with selection functions and quantifiers is modular and thereby allows to seamlessly combine agents bridging decision theory and game theory.…”
Conference item -
107
Scientific middleware for abstracted parallelisation
Published 2005“…This abstraction is achieved through the combination of Martlet, a work-flow language that uses constructs from functional programming to abstract the parallelisation in computations away from the user, and the construction of supporting middleware. …”
Report -
108
Stream fusion: practical shortcut fusion for coinductive sequence types
Published 2011“…<p>In functional programming it is common practice to build modular programs by composing functions where the intermediate values are data structures such as lists or arrays. …”
Thesis -
109
Convexity and Order in Probabilistic Call-by-Name FPC
Published 2020-11-01“…Consequently, Kegelspitzen form a denotational model of pPCF, an abstract functional programming language for probabilistic computing. …”
Get full text
Article -
110
Classical Combinatory Logic
Published 2005-01-01“…It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system "à la Hilbert''. …”
Get full text
Article -
111
Typing weak MSOL properties
Published 2017-03-01“…We consider lambda-Y-calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of calls to built-in operations. …”
Get full text
Article -
112
Learn Physics by Programming in Haskell
Published 2014-12-01“…We describe a method for deepening a student's understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Valley College. …”
Get full text
Article -
113
Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism
Published 2004“…Act3 advances the state of the art in programming languages by combining the advantages of object-oriented programming with those of functional programming. We also discuss considerations relevant to large-scale parallelism in the context of open systems, and define an abstract model which establishes the equivalence of systems defined by actor programs.…”
Get full text
-
114
Investigating Haskell for parallel processing
Published 2011“…The raising interest of parallel programming on functional programming language, F# and Scala, takes us to a perspective that the future of parallel programming will be on functional language. …”
Get full text
Final Year Project (FYP) -
115
A Functional Derivation of the Warren Abstract Machine
Published 2011“…We show that other well-known functional programming techniques (namely, explicit laziness and semi-persistent data structures) can help to develop abstract machines without detailed examination of the semantics realised by the interpreter.…”
Journal article -
116
Unifying Theories of Programming with Monads
Published 2012“…We present a simple functional programming approach to this challenge, based on algebraic theories of computational effects. …”
Conference item -
117
Separating Sessions Smoothly
Published 2023-07-01“…This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. …”
Get full text
Article -
118
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Published 2014-12-01“…This paper relates such semantically motivated non-standard compilation methods to more standard techniques in the compilation of functional programming languages, namely continuation passing and defunctionalization. …”
Get full text
Article -
119
Step-Indexed Relational Reasoning for Countable Nondeterminism
Published 2013-10-01“…We present a step-indexed logical relations model of a higher-order functional programming language with countable nondeterminism and demonstrate how it can be used to reason about contextually defined may- and must-equivalence. …”
Get full text
Article -
120
Investigating STM in Haskell as an Alternative to Programming Systems with Shared Memory
Published 2010-03-01“…Then we describe the STM approach for parallel programming, as well its application in the context of functional programming languages, in special Haskell. As a case study to illustrate the advantages of using STM, we show the implementation in Haskell of the classic problem of synchronization, the dining philosophers problem. …”
Get full text
Article