Sciweavers

10622 search results - page 24 / 2125

» Python Programming Language

204

POPL
2008
ACM

114views Programming Languages» more POPL 2008»

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

16 years 4 months ago

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

Download complogic.cs.mcgill.ca

Brigitte Pientka

claim paper

Read More »

211

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

16 years 4 months ago

Analyzing security protocols with secrecy types and logic programs

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

220

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

An abstract Monte-Carlo method for the analysis of probabilistic programs

16 years 4 months ago

An abstract Monte-Carlo method for the analysis of probabilistic programs

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

87

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

16 years 3 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

108

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

16 years 3 months ago

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

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