Understanding Ownership Types with Dependent Types

2013 ◽  
pp. 84-108 ◽  
Author(s):  
Nicholas Cameron ◽  
Sophia Drossopoulou ◽  
James Noble
Keyword(s):  
Dependent Types ◽  
Ownership Types

Differences in forest disturbance among land ownership types in Poland during and after socialism

2009 ◽  
Vol 4 (1-2) ◽  
pp. 73-83 ◽  
Author(s):  
T. Kuemmerle ◽  
J. Kozak ◽  
V. C. Radeloff ◽  
P. Hostert
Keyword(s):  
Forest Disturbance ◽  
Land Ownership ◽  
Ownership Types

Bank Ownership Types and Liquidity Creation: Evidence from Ghana

2021 ◽  
pp. 1-19
Author(s):  
Baah Aye Kusi ◽  
Maryam Kriese ◽  
Gladys Awinpoak Abindaw Nabieu ◽  
Elikplimi Kombla Agbloyor
Keyword(s):  
Bank Ownership ◽  
Ownership 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

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
Sign in / Sign up

Export Citation Format

Share Document