Formally Deriving an STG Machine

  1. De la Encina, A.
  2. Peña, R.
Proceedings:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

ISBN: 1581137052

Year of publication: 2003

Volume: 5

Pages: 102-112

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus