Sciweavers

210 search results - page 2 / 42

» types 1994

22

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

13 years 11 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

11

ISCAS
1994
IEEE

99views Hardware» more ISCAS 1994»

Two-Type-Interlaced Structure and LBR Test Applied to the Conventional Filter Realization

13 years 11 months ago

Two-Type-Interlaced Structure and LBR Test Applied to the Conventional Filter Realization

Download tsp.snu.ac.kr

Il-Taek Lim, Byeong Gi Lee

claim paper

Read More »

22

EDBT
1994
ACM

95views Database» more EDBT 1994»

Type Derivation Using the Projection Operation

13 years 11 months ago

Type Derivation Using the Projection Operation

Download rakesh.agrawal-family.com

Rakesh Agrawal, Linda G. DeMichiel

claim paper

Read More »

20

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Efficient Translation of External Input in a Dynamically Typed Language

13 years 11 months ago

Efficient Translation of External Input in a Dynamically Typed Language

Download repository.readscheme.org

Robert Paige

claim paper

Read More »

38

PLSA
1994

135views Programming Languages» more PLSA 1994»

Engineering a Programming Language: The Type and Class System of Sather

13 years 11 months ago

Engineering a Programming Language: The Type and Class System of Sather

Download research.microsoft.com

Clemens A. Szyperski, Stephen M. Omohundro, Stepha...

claim paper

Read More »

« Prev « First page 2 / 42 Last » Next »