Search Sciweavers | Sciweavers

10575 search results - page 210 / 2115

» Programming Languages

118

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 »

119

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

15 years 10 months ago

Download www.eecs.berkeley.edu

Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...

claim paper

Read More »

click to vote

ECOOP
1989
Springer

62views Programming Languages» more ECOOP 1989»

A Class Hierarchy for Building Stream-Oriented File Systems

15 years 10 months ago

Download choices.cs.uiuc.edu

Peter Madany, Roy H. Campbell, Vincent F. Russo, D...

claim paper

Read More »

click to vote

ICCL
1990
IEEE

47views Programming Languages» more ICCL 1990»

Reliable Distributed Computing with Avalon/Common Lisp

15 years 10 months ago

Download www.cs.cmu.edu

Stewart M. Clamen, Linda D. Leibengood, Scott Nett...

claim paper

Read More »

126

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