Sciweavers

10871 search results - page 26 / 2175

» A stable programming language

22

LLC
2010

107views Programming Languages» more LLC 2010»

Language in Schizophrenia Part 1: An Introduction

13 years 2 months ago

Language in Schizophrenia Part 1: An Introduction

Download www.nmr.mgh.harvard.edu

Gina R. Kuperberg

claim paper

Read More »

64

POPL
2008
ACM

114views Programming Languages» more POPL 2008»

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

14 years 8 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 »

62

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 8 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 »

65

POPL
2001
ACM

139views Programming Languages» more POPL 2001»

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

14 years 8 months ago

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

Download www.csl.sri.com

David Monniaux

claim paper

Read More »

20

ICFP
2001
ACM

91views Programming Languages» more ICFP 2001»

Cost Recurrences for DML Programs

14 years 7 months ago

Cost Recurrences for DML Programs

Download www.brics.dk

Bernd Grobauer

claim paper

Read More »

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