A Theory of Effects for Programming Languages

  • 6 Article
  • 2 Conference contribution
  • 1 Chapter
Filter
Chapter

Search results

  • 2006

    Some Varieties of Equational Logic (Extended Abstract)

    Plotkin, G., 2006, Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer, p. 150-156 7 p. (Lecture Notes in Computer Science; vol. 4060).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File