Search Sciweavers | Sciweavers

10575 search results - page 131 / 2115

» T2Script Programming Language

112

click to vote

SIGADA
2004
Springer

93views Programming Languages» more SIGADA 2004»

Measuring the effectiveness of ACATS

15 years 10 months ago

Download www.sigada.org

Geoff T. Smith

claim paper

Read More »

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 »

101

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

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

122

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers