Sciweavers

7555 search results - page 69 / 1511

» The Type System of DBPL

105

SOCO
2008
Springer

106views Software Engineering» more SOCO 2008»

A parallel evolutionary algorithm to optimize dynamic data types in embedded systems

15 years 3 months ago

A parallel evolutionary algorithm to optimize dynamic data types in embedded systems

Download infoscience.epfl.ch

José L. Risco-Martín, David Atienza,...

claim paper

Read More »

62

TCS
2008

88views Theoretical Computer Science» more TCS 2008»

A type assignment system for game semantics

15 years 3 months ago

A type assignment system for game semantics

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell, Marina Lenis...

claim paper

Read More »

84

CAS
2005

54views more CAS 2005»

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

15 years 3 months ago

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

Download www.ugr.es

Ramón Gutiérrez Jáimez, Ram&o...

claim paper

Read More »

64

Voted

JOT
2007

65views more JOT 2007»

A Formal Type System for Java

15 years 3 months ago

A Formal Type System for Java

Download www.jot.fm

Mourad Debbabi, M. Fourati

claim paper

Read More »

140

CSL
2000
Springer

134views Automated Reasoning» more CSL 2000»

Subtyping with Power Types

15 years 7 months ago

Subtyping with Power Types

Download reference.kfupm.edu.sa

This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...

David Aspinall

claim paper

Read More »

« Prev « First page 69 / 1511 Last » Next »