scholarly journals Dynamic Typing with Dependent Types

2006 ◽  
pp. 437-450 ◽  
Author(s):  
Xinming Ou ◽  
Gang Tan ◽  
Yitzhak Mandelbaum ◽  
David Walker
Keyword(s):  
Dependent Types ◽  
Dynamic Typing

HLIO: mixing static and dynamic typing for information-flow control in Haskell

2015 ◽  
Vol 50 (9) ◽  
pp. 289-301 ◽  
Author(s):  
Pablo Buiras ◽  
Dimitrios Vytiniotis ◽  
Alejandro Russo
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control ◽  
Dynamic Typing

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

Generating high performance code for irregular data structures using dependent types

2021 ◽  
Author(s):  
Federico Pizzuti ◽  
Michel Steuwer ◽  
Christophe Dubach
Keyword(s):  
Data Structures ◽  
High Performance ◽  
Dependent Types ◽  
Irregular Data

scholarly journals Handling delimited continuations with dependent types

2018 ◽  
Vol 2 (ICFP) ◽  
pp. 1-31 ◽  
Author(s):  
Youyou Cong ◽  
Kenichi Asai
Keyword(s):  
Dependent Types ◽  
Delimited Continuations

scholarly journals Three Discussions on Object-Oriented Typing

1991 ◽  
Vol 20 (362) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach
Keyword(s):  
Object Oriented ◽  
Type Inference ◽  
Dynamic Typing ◽  
Static Versus Dynamic

<p>This paper summarizes three discussions conducted at the ECOOP'91 W5 Workshop on ''Types, Inheritance, and Assignments'' Tuesday July 16, 1991 in Geneva, Switzerland, organized by the authors.</p><p> </p><p>The three discussions were entitled ''Classes versus Types'', ''Static versus Dynamic Typing'', and ''Type Inference''. All these topics were assumed to be volatile and controversial; indeed, a broad range of diverging opinions were represented. However, much superficial disagreement seemed to be rooted in confusions about terminology. When such issues were resolved, there appeared a consensus about basic definitions and the - often incompatible - choices that one is at liberty to make. This clarification, which we hope to have described below, was the most important achievement of the workshop.</p>

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].

Sign in / Sign up

Export Citation Format

Share Document