Search Sciweavers | Sciweavers

31686 search results - page 214 / 6338

» Resource typing in Guru

131

Voted

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 9 months ago

Download www.dsi.uniroma1.it

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

claim paper

Read More »

113

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 9 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

127

Voted

FOCS
1993
IEEE

72views Theoretical Computer Science» more FOCS 1993»

Parallel computable higher type functionals (Extended Abstract)

15 years 9 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 »

111

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 9 months ago

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

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

claim paper

Read More »

117

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers