No photo of Uday Reddy

View Scopus Profile

Uday Reddy

Prof

Accepting PhD Students

PhD projects

Uday Reddy’s research interests include:

Functional programming
Logic programming
Object-oriented programming, especially programming with state
Type systems, semantics and reasoning methods
Constructive logic and type theory, especially linear logic
Automated deduction, program transformation and synthesis

20012014

Research activity per year

  • 6 Article
  • 5 Paper
  • 2 Conference contribution
  • 1 Working paper
Filter
Conference contribution

Search results

  • 2014

    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

  • 2012

    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)