Підписатись
Vilem-Benjamin Liepelt
Vilem-Benjamin Liepelt
School of Computing, University of Kent
Підтверджена електронна адреса в kent.ac.uk
Назва
Посилання
Посилання
Рік
Quantitative program reasoning with graded modal types
D Orchard, VB Liepelt, H Eades III
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
922019
Gram: A linear functional language with graded modal types
D Orchard, VB Liepelt
TLLA, 2017
2*2017
Scrap Your Reprinter
H Clarke, VB Liepelt, D Orchard
2017
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–3