Sciweavers

10622 search results - page 166 / 2125

» Python Programming Language

103

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

16 years 4 months ago

Download www.haskell.org

Zhanyong Wan, Walid Taha, Paul Hudak

claim paper

Read More »

138

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

16 years 2 months ago

Decision Procedures for Algebraic Data Types with Abstractions

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

107

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

16 years 2 months ago

Modular Verification of Security Protocol Code by Typing

Download www.cl.cam.ac.uk

Andrew D. Gordon, Cédric Fournet, Karthikey...

claim paper

Read More »

115

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 11 months ago

Lightweight annotations for controlling sharing in concurrent data structures

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

120

Voted

PLDI
2009
ACM

139views Programming Languages» more PLDI 2009»

Measuring channel capacity to distinguish undue influence

15 years 11 months ago

Measuring channel capacity to distinguish undue influence

Download bitblaze.cs.berkeley.edu

James Newsome, Stephen McCamant, Dawn Song

claim paper

Read More »

« Prev « First page 166 / 2125 Last » Next »