• Published

  Needed computations shortcutting needed steps

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  From Outermost Reduction Semantics to Abstract Machine

  Research output: Book/anthology/dissertation/report › Report › Research

• Published

  On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction

  Research output: Book/anthology/dissertation/report › Ph.D. thesis

View all (7) »