Search Sciweavers | Sciweavers

7529 search results - page 61 / 1506

» The Modula-3 Type System

128

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

15 years 8 months ago

Download research.microsoft.com

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

claim paper

Read More »

103

click to vote

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 8 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

124

click to vote

DBPL
1989
Springer

70views Database» more DBPL 1989»

The Type System of DBPL

15 years 8 months ago

Download www.sts.tu-harburg.de

Florian Matthes, Joachim W. Schmidt

claim paper

Read More »

101

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 8 months ago

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

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

claim paper

Read More »

106

click to vote

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