Search Sciweavers | Sciweavers

10575 search results - page 133 / 2115

» Programming Languages

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 10 months ago

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

103

Voted

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

15 years 10 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

125

click to vote

ESOP
1998
Springer

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

15 years 9 months ago

Download www.di.fc.ul.pt

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

claim paper

Read More »

124

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 »

190

click to vote

DLS
2009

186views Languages» more DLS 2009»

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers