Sciweavers

8 search results - page 1 / 2

» aplas 2001

11

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

13 years 8 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

12

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

13 years 8 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

12

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

13 years 8 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

10

APLAS
2001
ACM

101views Programming Languages» more APLAS 2001»

Functional Quantum Programming

13 years 8 months ago

Functional Quantum Programming

Download www.cs.ioc.ee

Shin-Cheng Mu, Richard S. Bird

claim paper

Read More »

19

APLAS
2001
ACM

176views Programming Languages» more APLAS 2001»

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

13 years 8 months ago

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

Download www.kurims.kyoto-u.ac.jp

Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...

Masahito Hasegawa

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »