Search Sciweavers | Sciweavers

7555 search results - page 65 / 1511

» The Type System of DBPL

102

click to vote

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

15 years 7 months ago

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

122

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 »

click to vote

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 »

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 »

102

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