Search Sciweavers | Sciweavers

7535 search results - page 47 / 1507

» A Type System for CHR

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

13 years 11 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

13 years 11 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

click to vote

DBPL
1989
Springer

70views Database» more DBPL 1989»

The Type System of DBPL

13 years 11 months ago

Download www.sts.tu-harburg.de

Florian Matthes, Joachim W. Schmidt

claim paper

Read More »

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

13 years 11 months ago

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

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

claim paper

Read More »

click to vote

FOAL
2007
ACM

100views Natural Language Processing» more FOAL 2007»

Towards a type system for detecting never-matching pointcut compositions

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers