Language implementation for Quantitative Program Reasoning with Graded Modal Types

2019 ◽  
Author(s):  
Dominic Orchard ◽  
Vilem-Benjamin Liepelt ◽  
Harley Eades III
Keyword(s):  
Language Implementation ◽  
Modal Types

Judgmental subtyping systems with intersection types and modal types

2013 ◽  
Vol 50 (7-8) ◽  
pp. 359-380
Author(s):  
Jeongbong Seo ◽  
Sungwoo Park
Keyword(s):  
Intersection Types ◽  
Modal Types

scholarly journals Extensible language implementation with object algebras (short paper)

2015 ◽  
Vol 50 (3) ◽  
pp. 25-28 ◽  
Author(s):  
Maria Gouseti ◽  
Chiel Peters ◽  
Tijs van der Storm
Keyword(s):  
Short Paper ◽  
Language Implementation
Sign in / Sign up

Export Citation Format

Share Document