Sciweavers

5255 search results - page 26 / 1051

» Formal Methods for Privacy

16

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

14 years 1 months ago

A Logic for Parametric Polymorphism with Effects

Download users.dimi.uniud.it

Rasmus Ejlers Møgelberg, Alex Simpson

claim paper

Read More »

15

TYPES
2007
Springer

186views Formal Methods» more TYPES 2007»

In the Search of a Naive Type Theory

14 years 1 months ago

In the Search of a Naive Type Theory

Download users.dimi.uniud.it

Agnieszka Kozubek, Pawel Urzyczyn

claim paper

Read More »

18

TYPES
2007
Springer

158views Formal Methods» more TYPES 2007»

Working with Mathematical Structures in Type Theory

14 years 1 months ago

Working with Mathematical Structures in Type Theory

Download www.cs.unibo.it

Claudio Sacerdoti Coen, Enrico Tassi

claim paper

Read More »

20

TLDI
2005
ACM

118views Formal Methods» more TLDI 2005»

Non-interference for a JVM-like language

14 years 1 months ago

Non-interference for a JVM-like language

Download www.it.uu.se

Gilles Barthe, Tamara Rezk

claim paper

Read More »

22

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

14 years 1 months ago

Locality-Based Abstractions

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

« Prev « First page 26 / 1051 Last » Next »