Follow
Roshan P James
Roshan P James
Computer Science, Indiana University
Verified email at umail.iu.edu - Homepage
Title
Cited by
Cited by
Year
Parallel generational-copying garbage collection with a block-structured heap
S Marlow, T Harris, RP James, S Peyton Jones
Proceedings of the 7th international symposium on Memory management, 11-20, 2008
852008
Information effects
RP James, A Sabry
ACM SIGPLAN Notices 47 (1), 73-84, 2012
612012
Dagger Traced Symmetric Monoidal Categories and Reversible Programming
WJ Bowman, RP James, A Sabry
Workshop on Reversible Computation, 2011
332011
Yield: Mainstream Delimited Continuations
RP James, A Sabry
Workshop on the Theory and Practice of Delimited Continuations, TPDC, 2011
212011
Theseus: A high level language for reversible computing
RP James, A Sabry
Work-in-progress report in the Conference on Reversible Computation, 2014
152014
Isomorphic Interpreters from Logically Reversible Abstract Machines
RP James, A Sabry
Reversible Computation, 2012
122012
Theseus: a high-level language for reversible computation
RP James, A Sabry
Reversible Computation, 2014
92014
Quantum Computing over Finite Fields: Reversible Relational Programming with Exclusive Disjunctions
RP James, G Ortiz, A Sabry
9*2011
Theseus: A high level language for reversible computing, 2014. Work-in-progress report at RC 2014
RP James, A Sabry
8
Theseus: a high level language for reversible computing, work-in-progress report at RC (2014)
RP James, A Sabry
52014
Embracing the Laws of Physics: Three Reversible Models of Computation
J Carette, RP James, A Sabry
arXiv preprint arXiv:1811.03678, 2018
32018
The Computational Content of Isomorphisms
RP James
Indiana University, 2013
32013
The Two Dualities of Computation: Negative and Fractional Types
RP James, A Sabry
Submitted to ICFP 2012 (Unpublished), 2012
32012
Fractional types
RP James, Z Sparks, J Carette, A Sabry
Submitted for publication, 2013
22013
Embracing the Laws of Physics (Full Presentation)
RP James, A Sabry
Off the Beaten Track, 2012
2012
Programming with Isomorphisms
RP James
2011
Initial investigations into relating Logical and Computational Calculi
R James
2006
The Little Machines
R James
2006
The system can't perform the operation now. Try again later.
Articles 1–18