Computer Science (Morris)

Research output

Research output per year 1994 2008 2025

• 40 Conference contribution
• 16 Article
• 2 Chapter
• 1 Paper
• 2 More
  • 1 Conference article
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2007

  Computational soundness of a call by name calculus of recursively-scoped records

  Machkasova, E., Dec 1 2007, In: Electronic Notes in Theoretical Computer Science. p. 150-164 15 p.

  Research output: Contribution to journal › Conference article › peer-review

  • Calculus 100%
  • Call-by-name 100%
  • Computational Soundness 100%
  • Soundness 100%
  • Call by Name 100%
  1 Scopus citations