Sciweavers

18429 search results - page 317 / 3686

» Typing dynamic typing

101

CHOROCHRONOS
2003
Springer

125views Database» more CHOROCHRONOS 2003»

Spatio-temporal Models and Languages: An Approach Based on Data Types

15 years 12 months ago

Spatio-temporal Models and Languages: An Approach Based on Data Types

Download www.dpi.inpe.br

Ralf Hartmut Güting, Michael H. Böhlen, ...

claim paper

Read More »

129

ECOOP
2003
Springer

114views Programming Languages» more ECOOP 2003»

Regular Object Types

15 years 12 months ago

Regular Object Types

Download www.cis.upenn.edu

Vladimir Gapeyev, Benjamin C. Pierce

claim paper

Read More »

149

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

15 years 12 months ago

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

141

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 12 months ago

Type Inference for a Distributed pi-Calculus

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

162

EUROPAR
2003
Springer

108views Distributed And Parallel Com...» more EUROPAR 2003»

RECSY - A High Performance Library for Sylvester-Type Matrix Equations

15 years 12 months ago

RECSY - A High Performance Library for Sylvester-Type Matrix Equations

Download www8.cs.umu.se

In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientiﬁc, Parallel and High-Performance...

Isak Jonsson, Bo Kågström

claim paper

Read More »

« Prev « First page 317 / 3686 Last » Next »