Cited By
View all- Matsuda K(2020)Modular Inference of Linear Types for Multiplicity-Annotated ArrowsProgramming Languages and Systems10.1007/978-3-030-44914-8_17(456-483)Online publication date: 18-Apr-2020
- Dunchev CCoen CTassi EAlves SDowek GLicata D(2016)Implementing HOL in an Higher Order Logic Programming LanguageProceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice10.1145/2966268.2966272(1-10)Online publication date: 23-Jun-2016
- Bugliesi MCalzavara SEigner FMaffei M(2015)Affine Refinement Types for Secure Distributed ProgrammingACM Transactions on Programming Languages and Systems10.1145/274301837:4(1-66)Online publication date: 13-Aug-2015
- Show More Cited By