Sciweavers

18429 search results - page 339 / 3686

» Typing dynamic typing

144

FDTC
2006
Springer

121views Cryptology» more FDTC 2006»

Java Type Confusion and Fault Attacks

15 years 10 months ago

Java Type Confusion and Fault Attacks

Download conferenze.dei.polimi.it

Olli Vertanen

claim paper

Read More »

152

FLOPS
2006
Springer

132views Automated Reasoning» more FLOPS 2006»

Ruler: Programming Type Rules

15 years 10 months ago

Ruler: Programming Type Rules

Download www.cs.uu.nl

Atze Dijkstra, S. Doaitse Swierstra

claim paper

Read More »

145

FLOPS
2006
Springer

74views Automated Reasoning» more FLOPS 2006»

A Framework for Extended Algebraic Data Types

15 years 10 months ago

A Framework for Extended Algebraic Data Types

Download www.itu.dk

Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey

claim paper

Read More »

169

FLOPS
2006
Springer

119views Automated Reasoning» more FLOPS 2006»

A Computational Approach to Pocklington Certificates in Type Theory

15 years 10 months ago

A Computational Approach to Pocklington Certificates in Type Theory

Download www-sop.inria.fr

Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...

Benjamin Grégoire, Laurent Théry, Be...

claim paper

Read More »

149

FLOPS
2006
Springer

103views Automated Reasoning» more FLOPS 2006»

Typed Contracts for Functional Programming

15 years 10 months ago

Typed Contracts for Functional Programming

Download www.cs.uu.nl

Ralf Hinze, Johan Jeuring, Andres Löh

claim paper

Read More »

« Prev « First page 339 / 3686 Last » Next »