MSCS 2008 - PDF Preprint Papers

MSCS 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MSCS-2008 Paper

click to vote

MSCS
2008

119views more MSCS 2008»

Structural subtyping for inductive types with functorial equality rules

13 years 4 months ago

Download www.cs.rhul.ac.uk

Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...

Zhaohui Luo, Robin Adams

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	119	Structural subtyping for inductive types with functorial equality rules	claim
2	110	The Decomposition Tree for analyses of Boolean functions	claim
3	97	Logical relations for monadic types	claim
4	93	Types for ambient and process mobility	claim
5	93	Comparative uncertainty: theory and automation	claim
6	87	Coercions in a polymorphic type system	claim
7	86	Maurer computers for pipelined instruction processing	claim
8	85	Graph lambda theories	claim
9	73	Bounded polymorphism in session types	claim
10	73	Exponentiable morphisms of domains	claim
11	57	Computation with classical sequents	claim
12	57	Reducibility of domain representations and Cantor-Weihrauch domain representations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers