Search Sciweavers | Sciweavers

7535 search results - page 47 / 1507

» A Type System for CHR

125

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

Engineering a Programming Language: The Type and Class System of Sather

15 years 7 months ago

Download research.microsoft.com

Clemens A. Szyperski, Stephen M. Omohundro, Stepha...

claim paper

Read More »

Voted

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 7 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

118

click to vote

DBPL
1989
Springer

70views Database» more DBPL 1989»

The Type System of DBPL

15 years 7 months ago

Download www.sts.tu-harburg.de

Florian Matthes, Joachim W. Schmidt

claim paper

Read More »

Voted

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 7 months ago

Download www.cs.st-andrews.ac.uk

Richard C. H. Connor, Alfred L. Brown, Quintin I. ...

claim paper

Read More »

103

Voted

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers