Sciweavers

1412 search results - page 6 / 283

» types 2004

86

Voted

USS
2004

94views Operating System» more USS 2004»

Finding User/Kernel Pointer Bugs with Type Inference

15 years 5 months ago

Finding User/Kernel Pointer Bugs with Type Inference

Download www.eecs.berkeley.edu

Robert Johnson, David Wagner

claim paper

Read More »

115

ARSCOM
2004

54views more ARSCOM 2004»

Orthogonal Designs of Kharaghani Type: II

15 years 3 months ago

Orthogonal Designs of Kharaghani Type: II

Download www.uow.edu.au

Christos Koukouvinos, Jennifer Seberry

claim paper

Read More »

113

COMBINATORICS
2004

73views more COMBINATORICS 2004»

Minuscule Heaps over Dynkin Diagrams of Type A~

15 years 3 months ago

Minuscule Heaps over Dynkin Diagrams of Type A~

Download www.emis.de

Manabu Hagiwara

claim paper

Read More »

133

Voted

ICFP
2004
ACM

171views Programming Languages» more ICFP 2004»

Types, potency, and idempotency: why nonlinearity and amnesia make a type system work

16 years 3 months ago

Types, potency, and idempotency: why nonlinearity and amnesia make a type system work

Download www.cs.brandeis.edu

Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...

Harry G. Mairson, Peter Møller Neergaard

claim paper

Read More »

119

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

15 years 9 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

« Prev « First page 6 / 283 Last » Next »