Browse by Journal

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

Jump to: 2020

Number of items: 1.

2020

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 27 22:56:14 2024 BST.