Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

111

Voted

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 6 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

Real-time Traffic

APLAS 2001 | Programming Languages |

claim paper

Related Content

» A Model for Impredicative Type Systems Universes Intersection Types and Subtyping

» New Type2 Rule Ranking Indices for Designing Parsimonious Interval Type2 Fuzzy Logic Syste...

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» Type inference and strong static type checking for Promela

» A Type System Equivalent to a Model Checker

» A type system for object models

» A very modal model of a modern major general type system

» Introducing Type2 Fuzzy Sets for Image Texture Modelling

» LTL types FRP lineartime temporal logic propositions as types proofs as functional reactiv...

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2001
Where	APLAS
Authors	Kwanghoon Choi, Taisook Han

Comments (0)