scholarly journals XQuery and static typing: tackling the problem of backward axes

Author(s):  
Pierre Genevès ◽  
Nils Gesbert
Keyword(s):  
2015 ◽  
Vol 50 (9) ◽  
pp. 88-100
Author(s):  
Pierre Genevès ◽  
Nils Gesbert
Keyword(s):  

2009 ◽  
Vol 44 (10) ◽  
pp. 41-60 ◽  
Author(s):  
Roland Ducournau ◽  
Floréal Morandat ◽  
Jean Privat

1991 ◽  
Vol 20 (355) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach

We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement. This mechanism, called class substitution, is pragmatically useful and can be implemented efficiently.


Author(s):  
Viktor Sergeevich Kryshtapovich

Gradual typing is a modern approach for combining benefits of static typing and dynamic typing. Although scientific research aim for soundness of type systems, many of languages intentionally make their type system unsound for speeding up performance. This paper describes an implementation of a dialect for Lama programming language that supports gradual typing with explicit annotation of dangerous parts of code. The target of current implementation is to grant type safety to programs while keeping their power of untyped expressiveness. This paper covers implementation issues and properties of created type system. Finally, some perspectives on improving precision and soundness of type system are discussed.


2013 ◽  
Vol 19 (5) ◽  
pp. 1335-1382 ◽  
Author(s):  
Stefan Hanenberg ◽  
Sebastian Kleinschmager ◽  
Romain Robbes ◽  
Éric Tanter ◽  
Andreas Stefik

Sign in / Sign up

Export Citation Format

Share Document