Sciweavers

18429 search results - page 383 / 3686

» Typing dynamic typing

108

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

15 years 6 months ago

Syntactic Type Soundness Results for the Region Calculus

Download www.swen.uwaterloo.ca

Cristiano Calcagno, Simon Helsen, Peter Thiemann

claim paper

Read More »

116

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

15 years 6 months ago

Types for the Ambient Calculus

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

129

IANDC
2002

47views more IANDC 2002»

Type Destructors

15 years 6 months ago

Type Destructors

Download www.cs.indiana.edu

Martin Hofmann, Benjamin C. Pierce

claim paper

Read More »

163

SIAMAM
2000

119views more SIAMAM 2000»

The "Linear" Limit of Thin Film Flows as an Obstacle-Type Free Boundary Problem

15 years 6 months ago

The "Linear" Limit of Thin Film Flows as an Obstacle-Type Free Boundary Problem

Download www.math.vu.nl

We study the limit as n 0 of the nonnegative, self-similar source-type solutions of the thin film equation ut + (unuxxx)x = 0. We obtain a unique limiting function u, which is a s...

Fernando Quirós, Francisco Bernis, Josephus...

claim paper

Read More »

146

IJWBC
2007

69views more IJWBC 2007»

Information design to support 'an emergent type of local governance'

15 years 6 months ago

Information design to support 'an emergent type of local governance'

Download www.istr.org

Takayoshi Kawai

claim paper

Read More »

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