Search Sciweavers | Sciweavers

10575 search results - page 132 / 2115

» T2Script Programming Language

Voted

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 2 months ago

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

192

Voted

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

BI as an Assertion Language for Mutable Data Structures

16 years 3 months ago

Download www.dcs.qmw.ac.uk

Samin S. Ishtiaq, Peter W. O'Hearn

claim paper

Read More »

Voted

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

16 years 2 months ago

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

105

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

16 years 3 days ago

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper

Read More »

Voted

ESOP
2007
Springer

91views Programming Languages» more ESOP 2007»

Immutable Objects for a Java-Like Language

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers