Search Results - "Haskell"

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Towards modular compilers for effects

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

    Published 2012
    Subjects: Get full text
  2. 2
    Polymonad programming in Haskell

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

    Published 2016
    Subjects: “…Glasgow Haskell Compiler; Haskell; Monad; Polymonad; Syntactic support; Type checker plugin…”
    Get full text
  3. 3
    Supermonads: one notion to bind them all

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

    Published 2016
    Subjects: Get full text
  4. 4
    Modularity and implementation of mathematical operational semantics

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

    Published 2008
    Subjects: Get full text
  5. 5
    A functional specification of effects

    A functional specification of effects by Swierstra, Wouter

    Published 2009
    Subjects: Get full text
  6. 6
    Towards safe and efficient functional reactive programming

    Towards safe and efficient functional reactive programming by Sculthorpe, Neil

    Published 2011
    Subjects: Get full text
  7. 7
    Abstract modelling: towards a typed declarative language for the conceptual modelling phase

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

    Published 2017
    Subjects: Get full text
  8. 8
    Extensible and robust functional reactive programming

    Extensible and robust functional reactive programming by Perez Dominguez, Ivan

    Published 2018
    Subjects: Get full text
  9. 9
    Functional reactive programming, refactored

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

    Published 2016
    Subjects: Get full text
  10. 10
    The modular compilation of effects

    The modular compilation of effects by Day, Laurence E.

    Published 2017
    Subjects: Get full text
  11. 11
    Towards a formally verified functional quantum programming language

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

    Published 2010
    Subjects: Get full text
  12. 12
    Investigating the use of pure functional programming for agent-based simulation

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

    Published 2020
    Subjects: Get full text
  13. 13
    Types with extra structure: predicates, equations, composition

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

    Published 2024
    Subjects: Get full text
  14. 14
    A framework for relating, implementing and verifying argumentation models and their translations

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

    Published 2016
    Subjects: Get full text
  15. 15
    A functional quantum programming language

    A functional quantum programming language by Grattage, Jonathan James

    Published 2006
    Subjects: Get full text

Search Tools: