A. Nanevski.
A modal calculus for effect handling
. Technical Report CMU-CS-03-149, School of Computer Science, Carnegie Mellon University, 2003.
Home/Search
Document Details and Download
Context
Related Articles
This paper is cited by the following papers:
A Programming Language for Probabilistic Computation - Park (2005)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC