Search Results - Jaskelioff, Mauro

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Lifting of operations in modular monadic semantics

    Lifting of operations in modular monadic semantics by Jaskelioff, Mauro Javier

    Published 2009
    Get full text
  2. 2
    The under-performing unfold: a new approach to optimising corecursive programs

    The under-performing unfold: a new approach to optimising corecursive programs by Hackett, Jennifer, Hutton, Graham, Jaskelioff, Mauro

    Published 2013
    Get full text
  3. 3
    Contractive functions on infinite data structures

    Contractive functions on infinite data structures by Capretta, Venanzio, Hutton, Graham, Jaskelioff, Mauro

    Published 2017
    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
    Get full text

Search Tools: