Search Results - "Haskell"

Monadic parsing in Haskell by Hutton, Graham, Meijer, Erik

“…The three areas are functional parsers, the use of monads to structure functional programs, and the use of special syntax for monadic programs in Haskell. More specifically, the paper shows how to define monadic parsers using do notation in Haskell. …”
Get full text

Polymonad programming in Haskell by Bracker, Jan, Nilsson, Henrik

Subjects: “…Glasgow Haskell Compiler; Haskell; Monad; Polymonad; Syntactic support; Type checker plugin…”
Get full text

AutoBench: comparing the time performance of Haskell programs by Handley, Martin A.T., Hutton, Graham

“…Property-based testing tools such as QuickCheck provide a lightweight means to check the correctness of Haskell programs, but what about their efficiency? …”
Get full text

Theorem proving for all: equational reasoning in Liquid Haskell by Vazou, Niki, Breitner, Joachim, Kunkel, Rose, Van Horn, David, Hutton, Graham

“…Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. …”
Get full text

The functional dendritic cell algorithm: a formal specification with Haskell by Greensmith, Julie, Gale, Michael B.

“…We use new specification to implement the deterministic DCA in Haskell - the hDCA. This functional variant will also serve to introduce the DCA to a new audience within computer science. …”
Get full text

Honouring Dennis Haskell: a poet, and an amigo of Asiatic and Asian literature by Quayum, Mohammad Abdul

“…This issue of Asiatic(Vol. 13, No. 2) is dedicated tothe life and works of Dennis Haskell (1948-),a long-standing friend of the Journal, who has been on itsAdvisory Board since the Journal’s inception.He is also an ardent champion of Asian literaturewhohas been at the forefront of literary representations of Australian-Asian interactions and has shown an extensive understanding of Asian cultures both in his creative and critical works.Together with Edwin Thumboo and late Bruce Bennett, he has been a driving force behind the Biennial Symposium on Literature and Culture in the Asia-Pacific Region, which began in 1982 and has been takingplace since every two years in different countries of the region, two of which (2009, 2017) were, indeed, hosted by the same institution where Asiaticis also housed, International Islamic University Malaysia(IIUM).Moreover, he came to IIUM as a visiting professor in 2018.…”
Get full text
Get full text
Get full text

Towards modular compilers for effects by Day, Laurence, Hutton, Graham

Subjects: Get full text

Supermonads: one notion to bind them all by Bracker, Jan, Nilsson, Henrik

Subjects: Get full text

Modularity and implementation of mathematical operational semantics by Jaskelioff, Mauro Javier, Ghani, Neil, Hutton, Graham

Subjects: Get full text

A functional specification of effects by Swierstra, Wouter

Subjects: Get full text

Towards safe and efficient functional reactive programming by Sculthorpe, Neil

Subjects: Get full text

Abstract modelling: towards a typed declarative language for the conceptual modelling phase by Legatiuk, Dmitrii, Nilsson, Henrik

Subjects: Get full text

Extensible and robust functional reactive programming by Perez Dominguez, Ivan

Subjects: Get full text

Functional reactive programming, refactored by Perez, Ivan, Bärenz, Manuel, Nilsson, Henrik

Subjects: Get full text

The modular compilation of effects by Day, Laurence E.

Subjects: Get full text

Towards a formally verified functional quantum programming language by Green, Alexander S.

Subjects: Get full text

Investigating the use of pure functional programming for agent-based simulation by Thaler, Jonathan

Subjects: Get full text

Types with extra structure: predicates, equations, composition by Hewer, Brandon

Subjects: Get full text

Service user and family member perspectives on services for mental health, substance use/addiction, and violence: A qualitative study of their goals, experiences and recommendation... by Haskell, R., Graham, Kathryn, Bernards, S., Flynn, A., Wells, S.

“…© 2016 Haskell et al. Background: Mental health and substance use disorders (MSD) are significant public health concerns that often co-occur with violence. …”
Get full text

A framework for relating, implementing and verifying argumentation models and their translations by van Gijzel, Bas

Subjects: Get full text