Sciweavers

828 search results - page 4 / 166

» types 2000

112

Voted

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

15 years 7 months ago

The Second Futamura Projection for Type-Directed Partial Evaluation

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

102

Voted

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

15 years 7 months ago

Type-Based Useless Variable Elimination

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

114

Voted

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 7 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

138

Voted

TACAS
2000
Springer

109views Algorithms» more TACAS 2000»

An Extensible Type System for Component-Based Design

15 years 7 months ago

An Extensible Type System for Component-Based Design

Download www.eecs.berkeley.edu

Yuhong Xiong, Edward A. Lee

claim paper

Read More »

79

Voted

ADCM
2000

85views more ADCM 2000»

Construction of Runge-Kutta methods of Crouch-Grossman type of high order

15 years 3 months ago

Construction of Runge-Kutta methods of Crouch-Grossman type of high order

Download www.math.ntnu.no

Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...

claim paper

Read More »

« Prev « First page 4 / 166 Last » Next »