Search Sciweavers | Sciweavers

10622 search results - page 153 / 2125

» Python Programming Language

123

click to vote

HOPL
2007

97views Programming Languages» more HOPL 2007»

The when, why and why not of the BETA programming language

15 years 8 months ago

Download folk.uio.no

Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger...

claim paper

Read More »

Voted

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 4 months ago

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

219

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

16 years 4 months ago

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

click to vote

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

16 years 4 months ago

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

129

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers