scholarly journals Extracting the power of dependent types

2021 ◽  
Author(s):  
Artjoms Šinkarovs ◽  
Jesper Cockx
Keyword(s):  
Dependent Types

scholarly journals Secure distributed programming with value-dependent types

2011 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types

Foundations of path-dependent types

2014 ◽  
Vol 49 (10) ◽  
pp. 233-249 ◽  
Author(s):  
Nada Amin ◽  
Tiark Rompf ◽  
Martin Odersky
Keyword(s):  
Dependent Types ◽  
Path Dependent

scholarly journals Semantics with Dependent Types for Indefinites

2016 ◽  
Vol 46 (1) ◽  
pp. 173-192
Author(s):  
Justyna Grudzińska
Keyword(s):  
Dynamic Properties ◽  
Formal System ◽  
Dependent Types ◽  
Generalized Quantifiers

Abstract The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957], [Lindström 1966]) with dependent types ([Martin-Löf 1972], [Makkai 1995]) in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].

scholarly journals Secure distributed programming with value-dependent types

2011 ◽  
Vol 46 (9) ◽  
pp. 266-278 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types
Sign in / Sign up

Export Citation Format

Share Document