Sciweavers

10622 search results - page 90 / 2125

» Python Programming Language

112

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

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

15 years 8 months ago

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

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

112

Voted

ECOOP
1993
Springer

85views Programming Languages» more ECOOP 1993»

Encapsulating Plurality

15 years 8 months ago

Encapsulating Plurality

Download web.cecs.pdx.edu

Andrew P. Black, Mark P. Immel

claim paper

Read More »

107

FPCA
1993

73views Programming Languages» more FPCA 1993»

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

15 years 8 months ago

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism

Download web.cecs.pdx.edu

Mark P. Jones

claim paper

Read More »

110

Voted

ECOOP
1994
Springer

91views Programming Languages» more ECOOP 1994»

Patterns Generate Architectures

15 years 8 months ago

Patterns Generate Architectures

Download www.diku.dk

Kent Beck, Ralph E. Johnson

claim paper

Read More »

106

Voted

ECOOP
1994
Springer

88views Programming Languages» more ECOOP 1994»

Should Superclasses be Abstract?

15 years 8 months ago

Should Superclasses be Abstract?

Download www.ifs.uni-linz.ac.at

Walter L. Hürsch

claim paper

Read More »

« Prev « First page 90 / 2125 Last » Next »