Fingerprint
Dive into the research topics where Uday Reddy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)
Hermida, C., Reddy, U. S. & Robinson, E. P., 28 Mar 2014, In: Electronic Notes in Theoretical Computer Science. 303, p. 149-180 32 p.Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus) -
The Essence of Reynolds
Brookes, S., O'Hearn, P. W. & Reddy, U., 11 Jan 2014, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery , p. 251-255 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The Essence of Reynolds
Brookes, S., O'Hearn, P. W. & Reddy, U., 1 May 2014, In: Formal Aspects of Computing. 26, 3, p. 435-439Research output: Contribution to journal › Article › peer-review
-
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Reddy, U., 4 Nov 2013, p. 325-348. 24 p.Research output: Contribution to conference (unpublished) › Paper › peer-review
-
An Automata-Theoretic Model of Idealized Algol
Reddy, U. & Dunphy, B. P., 2012, Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Czumaj, A., Mehlhorn, K., Pitts, A. & Wattenhofer, R. (eds.). Springer, p. 337-350 (Lecture Notes in Computer Science; vol. 7392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)