Search Sciweavers | Sciweavers

10575 search results - page 210 / 2115

» Programming Languages

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 6 months ago

Download www-2.cs.cmu.edu

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

claim paper

Read More »

click to vote

ICALP
1994
Springer

126views Programming Languages» more ICALP 1994»

Equivalences for Fair Kripke Structures

15 years 6 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 6 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 6 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

POS
1990
Springer

138views Programming Languages» more POS 1990»

Type Equivalence Checking in Persistent Object Systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers