Showing 1 - 10 results of 10 for search 'Pirog, M', query time: 0.05s
Refine Results
-
1
-
2
Backtracking with cut via a distributive law and left-zero monoids by Piróg, M, Staton, S
Published 2017Journal article -
3
A systematic derivation of the STG machine verified in Coq by Pirog, M, Biernacki, D
Published 2010Conference item -
4
From push/enter to eval/apply by program transformation by Pirog, M, Gibbons, J
Published 2015Conference item -
5
Tracing monadic computations and representing effects by Pirog, M, Gibbons, J
Published 2012Conference item -
6
-
7
A Functional Derivation of the Warren Abstract Machine by Pirog, M, Gibbons, J
Published 2011Journal article -
8
-
9
-
10