Sciweavers

15 search results - page 1 / 3

» popl 1999

10

POPL
1999
ACM

105views Programming Languages» more POPL 1999»

A Simple, Comprehensive Type System for Java Bytecode Subroutines

13 years 8 months ago

A Simple, Comprehensive Type System for Java Bytecode Subroutines

Download www.cs.cmu.edu

Robert O'Callahn

claim paper

Read More »

9

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

13 years 8 months ago

Dependent Types in Practical Programming

Download www.cs.cmu.edu

Hongwei Xi, Frank Pfenning

claim paper

Read More »

5

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

13 years 8 months ago

Trust and Partial Typing in Open Systems of Mobile Agents

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

11

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

13 years 8 months ago

Stochastic Processes as Concurrent Constraint Programs

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

12

POPL
1999
ACM

76views Programming Languages» more POPL 1999»

Type-Based Analysis of Uncaught Exceptions

13 years 8 months ago

Type-Based Analysis of Uncaught Exceptions

Download gallium.inria.fr

This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on uniﬁcation-based type inference in a non-standard type system, usi...

François Pessaux, Xavier Leroy

claim paper

Read More »

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