Search Sciweavers | Sciweavers

10666 search results - page 156 / 2134

» Quantum programming languages

click to vote

SIGADA
2004
Springer

93views Programming Languages» more SIGADA 2004»

Measuring the effectiveness of ACATS

15 years 8 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 8 months ago

Download www.is.titech.ac.jp

Susumu Nishimura

claim paper

Read More »

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

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

104

click to vote

ESOP
1998
Springer

76views Programming Languages» more ESOP 1998»

Language Primitives and Type Discipline for Structured Communication-Based Programming

15 years 7 months ago

Download www.di.fc.ul.pt

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

claim paper

Read More »

110

click to vote

HOPL
2007

97views Programming Languages» more HOPL 2007»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers