Items where Author, Editor or other role is "Liepelt, V."

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

Number of items: 2.

Liepelt, Vilem, Marshall, Daniel, Orchard, Dominic, Rajani, Vineet, Vollmer, Michael (2025) On graded coeffect types for information-flow control. “Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice Essays Dedicated to Alan Mycroft on the Occasion of His Retirement”, LNCS Volume number 15500, 2025, . pp. 114-148. (doi:10.1007/978-3-032-08187-2_7) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:112666)

Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 (ICFP). Article Number 110. E-ISSN 2475-1421. (doi:10.1145/3341714) (KAR id:74450)

This list was generated on Mon Apr 27 19:34:45 2026 BST.