Search Sciweavers | Sciweavers

1003 search results - page 24 / 201

» Type Inference with Inequalities

124

SIAMJO
2010

107views more SIAMJO 2010»

Second-Order Analysis of Polyhedral Systems in Finite and Infinite Dimensions with Applications to Robust Stability of Variation

15 years 8 days ago

Download fzt86web.mi.fu-berlin.de

Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in ﬁnite-dimensional and inﬁnite-dimensional spaces, which is particularly imp...

René Henrion, Boris S. Mordukhovich, Nguyen...

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 7 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

Voted

ECLIPSE
2004
ACM

90views Software Engineering» more ECLIPSE 2004»

Visualizing type qualifier inference with Eclipse

15 years 7 months ago

Download www.cs.umd.edu

David Greenfieldboyce, Jeffrey S. Foster

claim paper

Read More »

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 7 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

click to vote

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers