Search Sciweavers | Sciweavers

7681 search results - page 70 / 1537

» Typed Membrane Systems

click to vote

PLSA
1994

135views Programming Languages» more PLSA 1994»

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

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers