Search Sciweavers | Sciweavers

31686 search results - page 137 / 6338

» Resource typing in Guru

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

14 years 2 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

click to vote

IUI
2005
ACM

115views Software Engineering» more IUI 2005»

Relaxing stylus typing precision by geometric pattern matching

14 years 2 months ago

Download www.almaden.ibm.com

Per Ola Kristensson, Shumin Zhai

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

14 years 2 months ago

Download www.ecs.fullerton.edu

Giovanni Rimassa, Mirko Viroli

claim paper

Read More »

click to vote

CASSIS
2005
Springer

129views Human Computer Interaction» more CASSIS 2005»

Typed Compilation Against Non-manifest Base Classes

14 years 2 months ago

Download contrapunctus.net

Christopher League, Stefan Monnier

claim paper

Read More »

click to vote

CC
2005
Springer

112views System Software» more CC 2005»

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers