Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: I

Number of items: 1.

I

Ivašković, Andrej, Mycroft, Alan, Orchard, Dominic (2020) Data-flow analyses as effects and graded monads. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 167 . (doi:10.4230/LIPIcs.FSCD.2020.15) (KAR id:81880)

This list was generated on Mon May 13 22:59:44 2024 BST.