Search Sciweavers | Sciweavers

1003 search results - page 24 / 201

» Type Inference with Inequalities

171

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 4 months 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 »

107

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 12 months ago

Download www.stanford.edu

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

claim paper

Read More »

127

click to vote

ECLIPSE
2004
ACM

90views Software Engineering» more ECLIPSE 2004»

Visualizing type qualifier inference with Eclipse

15 years 11 months ago

Download www.cs.umd.edu

David Greenfieldboyce, Jeffrey S. Foster

claim paper

Read More »

117

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 11 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

130

click to vote

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers