2008 |
51 | EE | Abubakar Hassan,
Ian Mackie,
Jorge Sousa Pinto:
Visual Programming with Interaction Nets.
Diagrams 2008: 165-171 |
50 | EE | Abubakar Hassan,
Ian Mackie,
Shinya Sato:
Interaction nets: programming language design and implementation.
ECEASST 10: (2008) |
49 | EE | Ian Mackie,
Detlef Plump:
Preface.
Electr. Notes Theor. Comput. Sci. 203(1): 1-2 (2008) |
48 | EE | Sandra Alves,
Mário Florido,
Ian Mackie,
François-Régis Sinot:
Minimality in a Linear Calculus with Iteration.
Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008) |
2007 |
47 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Iterator Types.
FoSSaCS 2007: 17-31 |
46 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
Linear Recursive Functions.
Rewriting, Computation and Proof 2007: 182-195 |
45 | EE | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST 6: (2007) |
44 | EE | Jean-Pierre Jouannaud,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 171(3): 1-2 (2007) |
43 | EE | Horatiu Cirstea,
Germain Faure,
Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007) |
42 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Closed Reduction Strategies.
Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007) |
41 | EE | Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 176(1): 1-2 (2007) |
40 | EE | Ian Mackie,
Detlef Plump:
Preface.
Electr. Notes Theor. Comput. Sci. 72(1): 1-2 (2007) |
39 | EE | Maribel Fernández,
Ian Mackie,
Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation.
Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007) |
38 | EE | Ian Mackie,
Detlef Plump:
Theory and applications of term graph rewriting: introduction.
Mathematical Structures in Computer Science 17(3): 361-362 (2007) |
37 | EE | Maribel Fernández,
Ian Mackie:
More developments in computational models: introduction.
Mathematical Structures in Computer Science 17(4): 585-586 (2007) |
2006 |
36 | EE | Sandra Alves,
Maribel Fernández,
Mário Florido,
Ian Mackie:
The Power of Linear Functions.
CSL 2006: 119-134 |
35 | EE | Maribel Fernández,
Ian Mackie:
Preface.
Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006) |
34 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.
Electr. Notes Theor. Comput. Sci. 154(3): 19-32 (2006) |
33 | EE | Maribel Fernández,
Ian Mackie:
Developments in computational models: introduction.
Mathematical Structures in Computer Science 16(4): 553-555 (2006) |
2005 |
32 | EE | Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets.
IFL 2005: 19-36 |
31 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Lambda-Calculus with Director Strings.
Appl. Algebra Eng. Commun. Comput. 15(6): 393-437 (2005) |
30 | EE | Ian Mackie:
Towards a Programming Language for Interaction Nets.
Electr. Notes Theor. Comput. Sci. 127(5): 133-151 (2005) |
29 | EE | François-Régis Sinot,
Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
Electr. Notes Theor. Comput. Sci. 127(5): 153-169 (2005) |
28 | EE | Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures.
J. Log. Comput. 15(2): 219-237 (2005) |
27 | EE | Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
Closed reduction: explicit substitutions without alpha-conversion.
Mathematical Structures in Computer Science 15(2): 343-381 (2005) |
2004 |
26 | EE | Maribel Fernández,
Murdoch Gabbay,
Ian Mackie:
Nominal rewriting systems.
PPDP 2004: 108-119 |
25 | EE | Ian Mackie:
Efficient lambda-Evaluation with Interaction Nets.
RTA 2004: 155-169 |
2003 |
24 | EE | François-Régis Sinot,
Maribel Fernández,
Ian Mackie:
Efficient Reductions with Director Strings.
RTA 2003: 46-60 |
23 | EE | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
22 | EE | Maribel Fernández,
Ian Mackie:
Operational equivalence for interaction nets.
Theor. Comput. Sci. 297(1-3): 157-181 (2003) |
2002 |
21 | EE | Maribel Fernández,
Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting.
ICGT 2002: 75-89 |
20 | EE | Ian Mackie,
Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators.
Inf. Comput. 176(2): 153-186 (2002) |
2000 |
19 | | Maribel Fernández,
Ian Mackie:
A Theory of Operational Equivalence for Interaction Nets.
LATIN 2000: 447-456 |
18 | EE | Ian Mackie:
Interaction nets for linear logic.
Theor. Comput. Sci. 247(1-2): 83-140 (2000) |
1999 |
17 | | Maribel Fernández,
Ian Mackie:
Closed Reductions in the lambda-Calculus.
CSL 1999: 220-234 |
16 | | Maribel Fernández,
Ian Mackie:
A Calculus for Interaction Nets.
PPDP 1999: 170-187 |
1998 |
15 | EE | Ian Mackie:
YALE: Yet Another Lambda Evaluator Based on Interaction Nets.
ICFP 1998: 117-128 |
14 | | Ian Mackie:
Linear Logic With Boxes.
LICS 1998: 309-320 |
13 | | Maribel Fernández,
Ian Mackie:
Coinductive Techniques for Operational Equivalence of Interaction Nets.
LICS 1998: 321-332 |
12 | EE | Maribel Fernández,
Ian Mackie:
Interaction Nets and Term-Rewriting Systems.
Theor. Comput. Sci. 190(1): 3-39 (1998) |
1997 |
11 | | Ian Mackie:
Static Analysis of Interaction Nets for Distributed Implementations.
SAS 1997: 217-231 |
1996 |
10 | | Maribel Fernández,
Ian Mackie:
Interaction Nets and Term Rewriting Systems (Extended Abstract).
CAAP 1996: 149-164 |
9 | | Thomas P. Jensen,
Ian Mackie:
Flow Analysis in the Geometry of Interaction.
ESOP 1996: 188-203 |
8 | | Maribel Fernández,
Ian Mackie:
From Term Rewriting to Generalised Interaction Nets.
PLILP 1996: 319-333 |
1995 |
7 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994
Imperial College Press 1995 |
6 | | Ian Mackie:
The Geometry of Interaction Machine.
POPL 1995: 198-208 |
1994 |
5 | | Ian Mackie:
A Lambda-Evaluator Based on Interaction Nets.
Theory and Formal Methods 1994: 41-60 |
4 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Preface.
Theory and Formal Methods 1994 |
3 | | Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic.
J. Funct. Program. 4(4): 395-433 (1994) |
1993 |
2 | | Ian Mackie,
Leopoldo Román,
Samson Abramsky:
An Internal Language for Autonomous Categories.
Theory and Formal Methods 1993: 235-246 |
1 | EE | Ian Mackie,
Leopoldo Román,
Samson Abramsky:
An internal language for autonomous categories.
Applied Categorical Structures 1(3): 311-343 (1993) |