Sciweavers

22 search results - page 1 / 5

» popl 2000

76

Voted

POPL
2000
ACM

104views Programming Languages» more POPL 2000»

First-Class Macros have Types

15 years 29 days ago

First-Class Macros have Types

Download people.csail.mit.edu

Alan Bawden

claim paper

Read More »

67

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 1 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

64

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

15 years 1 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

65

Voted

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

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

67

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

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