Search Sciweavers | Sciweavers

1982 search results - page 7 / 397

» Parametricity and dependent types

click to vote

OOPSLA
1989
Springer

158views Security Privacy» more OOPSLA 1989»

Static Type Inference for Parametric Classes

15 years 1 months ago

Download homepages.inf.ed.ac.uk

Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...

Atsushi Ohori, Peter Buneman

claim paper

Read More »

click to vote

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

14 years 8 months ago

Download www.itu.dk

tations of imperative abstract data types.

Lars Birkedal, Kristian Støvring, Jacob Tha...

claim paper

Read More »

click to vote

RC
2006

68views more RC 2006»

Outer Interval Solution of the Eigenvalue Problem under General Form Parametric Dependencies

14 years 9 months ago

Download 81.161.252.58

The paper addresses the problem of determining an outer interval solution of the parametric eigenvalue problem nn RpAxxpA

Lubomir Kolev

claim paper

Read More »

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 3 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

click to vote

SAC
2005
ACM

106views Applied Computing» more SAC 2005»

Understanding access restriction of variant parametric types and Java wildcards

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers