Search Sciweavers | Sciweavers

8021 search results - page 65 / 1605

» A Type System for Tom

click to vote

SCP
1998

68views more SCP 1998»

A Sound Polymorphic Type System for a Dialect of C

13 years 7 months ago

Download users.cs.fiu.edu

Geoffrey Smith, Dennis M. Volpano

claim paper

Read More »

click to vote

JCNS
2010

56views more JCNS 2010»

Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire type

13 years 6 months ago

Download www.cims.nyu.edu

Douglas Zhou, Yi Sun, Aaditya V. Rangan, David Cai

claim paper

Read More »

click to vote

PE
2010
Springer

142views Optimization» more PE 2010»

Performance analysis of email systems under three types of attacks

13 years 6 months ago

Download www.ie.tsinghua.edu.cn

Yang Wang, Chuang Lin, Quan-Lin Li

claim paper

Read More »

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

A Type System for Required/Excluded Elements in CLS

13 years 5 months ago

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, An...

claim paper

Read More »

click to vote

CORR
2010
Springer

63views Education» more CORR 2010»

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers