Sciweavers

10622 search results - page 113 / 2125

» Python Programming Language

93

ECOOP
2006
Springer

118views Programming Languages» more ECOOP 2006»

The Continuing Quest for Abstraction

15 years 8 months ago

The Continuing Quest for Abstraction

Download web.media.mit.edu

Henry Lieberman

claim paper

Read More »

97

ECOOP
2006
Springer

95views Programming Languages» more ECOOP 2006»

An Aspect-Aware Outline Viewer

15 years 8 months ago

An Aspect-Aware Outline Viewer

Download www.csg.is.titech.ac.jp

Michihiro Horie, Shigeru Chiba

claim paper

Read More »

116

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 8 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

95

ESOP
2006
Springer

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

15 years 8 months ago

Approaches to Polymorphism in Classical Sequent Calculus

Download www.doc.ic.ac.uk

Alexander J. Summers, Steffen van Bakel

claim paper

Read More »

120

APLAS
2001
ACM

111views Programming Languages» more APLAS 2001»

Dynamic Control Operators in Type Theory

15 years 8 months ago

Dynamic Control Operators in Type Theory

Download www.jst.go.jp

Yukiyoshi Kameyama

claim paper

Read More »

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