Sciweavers

11909 search results - page 37 / 2382

» The Scheme Programming Language

100

Voted

LLC
2010

107views Programming Languages» more LLC 2010»

Language in Schizophrenia Part 1: An Introduction

14 years 9 months ago

Language in Schizophrenia Part 1: An Introduction

Download www.nmr.mgh.harvard.edu

Gina R. Kuperberg

claim paper

Read More »

195

Voted

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 3 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 »

199

Voted

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

16 years 3 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 »

204

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

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

16 years 3 months ago

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

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

78

Voted

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

16 years 2 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

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