Search Sciweavers | Sciweavers

10575 search results - page 133 / 2115

» Programming Languages

107

click to vote

APLAS
2003
ACM

133views Programming Languages» more APLAS 2003»

Correctness of a Higher-Order Removal Transformation through a Relational Reasoning

15 years 11 months ago

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

121

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 11 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

139

click to vote

ESOP
1998
Springer

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

15 years 10 months ago

Download www.di.fc.ul.pt

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto K...

claim paper

Read More »

140

click to vote

HOPL
2007

97views Programming Languages» more HOPL 2007»

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

15 years 10 months ago

Download folk.uio.no

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

claim paper

Read More »

225

click to vote

DLS
2009

186views Languages» more DLS 2009»

Of scripts and programs: tall tales, urban legends, and future prospects

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers