Sciweavers

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

92

Voted

POPL
1994
ACM

101views Programming Languages» more POPL 1994»

Soft Typing with Conditional Types

15 years 6 months ago

Soft Typing with Conditional Types

Download www.cs.cmu.edu

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

Real-time Traffic

POPL 1994 | Programming Languages |

claim paper

Related Content

» Soft Linear Logic and Polynomial Complexity Classes

» Combining Strict and Soft Typing in Functional Programming

» A logical account of pspace

» Discriminative sum types locate the source of type errors

» Soft lambdaCalculus A Language for Polynomial Time Computation

» Conditional and Composite Constraints with Preferences

» Extending Dynamic Backtracking to Solve Weighted Conditional CSPs

» Detecting common elements of types

» Mizars Soft Type System

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1994
Where	POPL
Authors	Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

Comments (0)