Sciweavers

22 search results - page 1 / 5

» popl 2000

13

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

13 years 8 months ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

15

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

13 years 9 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

11

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

13 years 9 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

11

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

13 years 9 months ago

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

Download www.cs.ucla.edu

Zhendong Su, Manuel Fähndrich, Alexander Aike...

claim paper

Read More »

12

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

13 years 9 months ago

Implicit Parameters: Dynamic Scoping with Static Types

Download research.microsoft.com

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »