Slot games: a quantitative model of computation

Dan Ghica, J Palsberg, M Abadi

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages85-97
Number of pages13
Publication statusPublished - 1 Jan 2005
Event32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005) -
Duration: 1 Jan 2005 → …

Conference

Conference32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)
Period1/01/05 → …

Cite this