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

Up a level

Export as ASCII CitationBibTeXCSV For ExcelDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

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

Jump to: 2025 | 2019

Number of items: 2.

2025

Liepelt, Vilem and Marshall, Daniel and Orchard, Dominic and Rajani, Vineet and Vollmer, Michael (2025) On graded coeffect types for information-flow control. In: Orchard, Dominic A. and Petricek, Thomas and Singer, Jeremy, eds. Languages, compilers, analysis - from beautiful theory to useful practice. Lecture Notes in Computer Science . Springer Nature, pp. 114-148. ISBN 978-3-032-08186-5. E-ISBN 978-3-032-08187-2. (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)

2019

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 Mar 2 20:14:50 2026 GMT.