Google Research

A complete, co-inductive syntactic theory of sequential control and state

  • Kristian Støvring
  • Soren B. Lassen
Proc. 34th Annual ACM Symposium on Principles of Programming Languages, ACM, Nice, France (2007), pp. 161-172
Download Google Scholar Copy Bibtex

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Algorithms and Theory

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work

Our Research Philosophy