Showing 1 - 10 results of 10 for search 'Pirog, M', query time: 0.03s Refine Results
  1. 1
    Completely iterative monads in semantics of coinductive programs

    Completely iterative monads in semantics of coinductive programs by Pirog, M

    Published 2014
    Thesis
  2. 2
    Backtracking with cut via a distributive law and left-zero monoids

    Backtracking with cut via a distributive law and left-zero monoids by Piróg, M, Staton, S

    Published 2017
    Journal article
  3. 3
    A systematic derivation of the STG machine verified in Coq

    A systematic derivation of the STG machine verified in Coq by Pirog, M, Biernacki, D

    Published 2010
    Conference item
  4. 4
    From push/enter to eval/apply by program transformation

    From push/enter to eval/apply by program transformation by Pirog, M, Gibbons, J

    Published 2015
    Conference item
  5. 5
    Tracing monadic computations and representing effects

    Tracing monadic computations and representing effects by Pirog, M, Gibbons, J

    Published 2012
    Conference item
  6. 6
    The coinductive resumption monad

    The coinductive resumption monad by Piróg, M, Gibbons, J

    Published 2014
    Conference item
  7. 7
    A Functional Derivation of the Warren Abstract Machine

    A Functional Derivation of the Warren Abstract Machine by Pirog, M, Gibbons, J

    Published 2011
    Journal article
  8. 8
    Monads for behaviour

    Monads for behaviour by Piróg, M, Gibbons, J

    Published 2013
    Conference item
  9. 9
    The coinductive resumption monad

    The coinductive resumption monad by Piróg, M, Gibbons, J

    Published 2014
    Journal article
  10. 10
    Monads for behaviour

    Monads for behaviour by Piróg, M, Gibbons, J

    Published 2013
    Journal article

Search Tools: