BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Hungary
1 × Ireland
1 × Portugal
1 × Sweden
1 × United Kingdom
2 × France
2 × Germany
2 × Italy
3 × Spain
3 × USA
Collaborated with:
M.Fernández ∅ S.Sato S.Alves M.Florido A.Hassan T.P.Jensen J.S.Pinto M.Vilaça M.Gabbay F.Sinot
Talks about:
interact (14) net (12) calculus (4) rewrit (4) implement (3) reduct (3) linear (3) evalu (3) geometri (2) program (2)

Person: Ian Mackie

DBLP DBLP: Mackie:Ian

Contributed to:

GCM 20152015
PPDP 20112011
GT-VMT 20102010
GT-VMT 20082008
IFL 20082008
FoSSaCS 20072007
GT-VMT 20072007
CSL 20062006
IFL 20052005
PPDP 20042004
RTA 20042004
RTA 20032003
ICGT 20022002
CSL 19991999
PPDP 19991999
ICFP 19981998
LICS 19981998
SAS 19971997
ESOP 19961996
PLILP 19961996
POPL 19951995

Wrote 22 papers:

GCM-2015-MackieS #evaluation #interactive #parallel
Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.
PPDP-2011-AlvesFFM #recursion #λ-calculus
Linearity and recursion in a typed λ-calculus (SA, MF, MF, IM), pp. 173–182.
GT-VMT-2010-HassanMS #automaton #interactive #lightweight
A lightweight abstract machine for interaction nets (AH, IM, SS).
GT-VMT-2008-HassanMS #design #implementation #interactive #programming language
Interaction nets: programming language design and implementation (AH, IM, SS).
IFL-2008-Mackie #implementation #interactive #reduction
An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.
FoSSaCS-2007-AlvesFFM
Iterator Types (SA, MF, MF, IM), pp. 17–31.
GT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation
Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).
CSL-2006-AlvesFFM #linear #power of
The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
IFL-2005-Mackie #encoding #interactive #λ-calculus
Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.
PPDP-2004-FernandezGM #term rewriting
Nominal rewriting systems (MF, MG, IM), pp. 108–119.
RTA-2004-Mackie #interactive #performance
Efficient λ-Evaluation with Interaction Nets (IM), pp. 155–169.
RTA-2003-SinotFM #performance #reduction #string
Efficient Reductions with Director Strings (FRS, MF, IM), pp. 46–60.
ICGT-2002-FernandezM #call-by #graph grammar
Call-by-Value λ-Graph Rewriting Without Rewriting (MF, IM), pp. 75–89.
CSL-1999-FernandezM #reduction #λ-calculus
Closed Reductions in the λ-Calculus (MF, IM), pp. 220–234.
PPDP-1999-FernandezM #calculus #interactive
A Calculus for Interaction Nets (MF, IM), pp. 170–187.
ICFP-1998-Mackie #interactive #named
YALE: Yet Another λ Evaluator Based on Interaction Nets (IM), pp. 117–128.
LICS-1998-FernandezM #equivalence #induction #interactive
Coinductive Techniques for Operational Equivalence of Interaction Nets (MF, IM), pp. 321–332.
LICS-1998-Mackie #linear #logic
Linear Logic With Boxes (IM), pp. 309–320.
SAS-1997-Mackie #distributed #implementation #interactive #static analysis
Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.
ESOP-1996-JensenM #analysis #geometry #interactive
Flow Analysis in the Geometry of Interaction (TPJ, IM), pp. 188–203.
PLILP-1996-FernandezM #interactive #term rewriting
From Term Rewriting to Generalised Interaction Nets (MF, IM), pp. 319–333.
POPL-1995-Mackie #geometry #interactive
The Geometry of Interaction Machine (IM), pp. 198–208.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.