Sciweavers

11909 search results - page 62 / 2382

» The Scheme Programming Language

93

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 8 months ago

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

84

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 8 months ago

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

96

ESOP
2005
Springer

121views Programming Languages» more ESOP 2005»

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

15 years 8 months ago

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

Download www-verimag.imag.fr

Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea...

claim paper

Read More »

93

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

15 years 8 months ago

Code Compression

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

97

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 8 months ago

Type Class Directives

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

« Prev « First page 62 / 2382 Last » Next »