Sciweavers

828 search results - page 4 / 166

» types 2000

11

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

13 years 9 months ago

The Second Futamura Projection for Type-Directed Partial Evaluation

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

14

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

13 years 9 months ago

Type-Based Useless Variable Elimination

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

15

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

13 years 9 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

8

TACAS
2000
Springer

109views Algorithms» more TACAS 2000»

An Extensible Type System for Component-Based Design

13 years 9 months ago

An Extensible Type System for Component-Based Design

Download www.eecs.berkeley.edu

Yuhong Xiong, Edward A. Lee

claim paper

Read More »

10

ADCM
2000

85views more ADCM 2000»

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

13 years 5 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 »