Search Sciweavers | Sciweavers

18429 search results - page 61 / 3686

» Typing dynamic typing

245

click to vote

POPL
2001
ACM

149views Programming Languages» more POPL 2001»

Colored local type inference

16 years 5 months ago

Download lamp.epfl.ch

We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...

Martin Odersky, Christoph Zenger, Matthias Zenger

claim paper

Read More »

108

click to vote

TYPES
2007
Springer

156views Formal Methods» more TYPES 2007»

Algorithmic Equality in Heyting Arithmetic Modulo

15 years 11 months ago

Download users.dimi.uniud.it

Lisa Allali

claim paper

Read More »

114

Voted

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

15 years 11 months ago

Download users.dimi.uniud.it

Rasmus Ejlers Møgelberg, Alex Simpson

claim paper

Read More »

114

click to vote

TYPES
2004
Springer

83views Formal Methods» more TYPES 2004»

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

15 years 10 months ago

Download gallium.inria.fr

Yves Bertot, Benjamin Grégoire, Xavier Lero...

claim paper

Read More »

106

click to vote

TYPES
2004
Springer

94views Formal Methods» more TYPES 2004»

Surreal Numbers in Coq

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers