Search Sciweavers | Sciweavers

31686 search results - page 214 / 6338

» Resource typing in Guru

144

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 11 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

126

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 10 months ago

Download www-2.cs.cmu.edu

David Tarditi, J. Gregory Morrisett, Perry Cheng, ...

claim paper

Read More »

145

click to vote

FOCS
1993
IEEE

72views Theoretical Computer Science» more FOCS 1993»

Parallel computable higher type functionals (Extended Abstract)

15 years 10 months ago

Download www.cse.unsw.edu.au

d Abstract) Peter Clote A. Ignjatovicy B. Kapronz

Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...

claim paper

Read More »

130

click to vote

POS
1992
Springer

86views Programming Languages» more POS 1992»

Persistent Program Construction through Browsing and User Gesture with some Typing

15 years 10 months ago

Download www.cs.st-andrews.ac.uk

Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...

claim paper

Read More »

138

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers