Folgen
Roshan P James
Roshan P James
Computer Science, Indiana University
Bestätigte E-Mail-Adresse bei umail.iu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
942008
Information effects
RP James, A Sabry
ACM SIGPLAN Notices 47 (1), 73-84, 2012
712012
Isomorphic Interpreters from Logically Reversible Abstract Machines
RP James, A Sabry
Reversible Computation, 2012
342012
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
222011
Theseus: A high level language for reversible computing
RP James, A Sabry
Work-in-progress report in the Conference on Reversible Computation, 2014
212014
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, work-in-progress report at RC (2014)
RP James, A Sabry
82014
Theseus: a high-level language for reversible computation
RP James, A Sabry
Reversible Computation, 2014
82014
Theseus: A high level language for reversible computing, 2014. Work-in-progress report at RC 2014
RP James, A Sabry
8
Embracing the Laws of Physics: Three Reversible Models of Computation
J Carette, RP James, A Sabry
arXiv preprint arXiv:1811.03678, 2018
42018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18