#### Filter Results:

#### Publication Year

1993

2016

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- Ian Mackie
- POPL
- 1995

We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logic, specifically for a simple functional programming language (PCF). This gives rise to a very simple, compact, compilation schema and run-time system. We analyse various properties of this kind of computation that suggest substantial… (More)

Interaction nets are graphical rewriting systems which can be used as either a high-level programming paradigm or a low-level implementation language. However, an operational semantics together with notions of strategy and normal form which are essential to reason about implementations, are not easy to formalize in this graphical framework. The purpose of… (More)

- Ian Mackie
- ICFP
- 1998

Interaction nets provide a graphical paradigm of computation based on net rewriting. They have proved most successful in understanding the dynamics of reduction in the &lambda;-calculus, where the prime example is the implementation of optimal reduction for the &lambda;-calculus (Lamping's algorithm), given by Gonthier, Abadi and L&eacute;vy.… (More)

The purpose of this paper is to demonstrate how Lafont's interaction combinators, a system of three symbols and six interaction rules, can be used to encode linear logic. Specifically, we give a translation of the multiplicative, exponential and additive fragments of linear logic together with a strategy for cut-elimination which can be faithfully… (More)

- David Keeling, Ian Mackie, Gary W Moore, Ian A Greer, Michael Greaves
- British journal of haematology
- 2012

- Richard C Franklin, Justin P Scarr, John H Pearn, Ian Mackie
- 2010

uch has been achieved in the reduction of drowning deaths in Australia — both absolute numbers and the per-capita risk of drowning have been reduced in the past decade. Since 1920, when reliable national data were first published, drowning fatality rates have decreased from 8.76 3 to 1.32 deaths per 100 000 people in 2007–08. 2 These are crude… (More)