Other Pages

Home Page Research Publications Software

Books

Jean Goubault-Larrecq and Ian Mackie. Proof Theory and Automated Deduction, volume 6 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht. May 1997. Hardbound, ISBN 0-7923-4593-2. (Paperback: November 2001, ISBN 1-4020-0368-4.)

Books Edited

Chris Hankin, Ian Mackie and Rajagopal Nagarajan (Eds). Theory and Formal Methods 1994: Proceedings of the Second Imperial College Workshop on Theory and Formal Methods. Imperial College Press, September 1995. ISBN 1-86094-003-X.


Habilitation, PhD, MSc, BSc (Eng)

Ian Mackie. Théorie et applications des réseaux d'interaction : Implantations de la logique linéaire et du lambda-calcul. Habilitation à diriger des recherches en informatique, Université de Paris 7, March 2001.

English version: Theory and applications of interaction nets: implementations of linear logic and the lambda-calculus.

Ian Mackie. The Geometry of Implementation. PhD Thesis, Department of Computing, Imperial College of Science, Technology and Medicine, September 1994.
Ian Mackie. Lilac: A functional programming language based on Linear Logic. Master's Thesis, Department of Computing, Imperial College of Science, Technology and Medicine, September 1991.
Ian Mackie. A language prototyping system based on denotational semantics. Department of Computing, Imperial College of Science, Technology and Medicine, July 1990.

Journal Papers

Ian Mackie. An Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation. 15(2):219-237, April 2005. Download
Maribel Fernández, Ian Mackie and François-Régis Sinot. Lambda-Calculus with Director Strings. Journal of Applicable Algebra in Engineering, Communication and Computing. 15(6):393-437, April 2005. Download
Maribel Fernández, Ian Mackie and François-Régis Sinot. Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science. 15(2):343-381, April 2005.
Maribel Fernández, Ian Mackie, Paula Severi and Nora Szasz. Reduction Strategies for Program Extraction. CLEI Journal, 2004.
Maribel Fernández and Ian Mackie. Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297(1-3):157-181, March 2003.
Ian Mackie and Jorge Sousa Pinto. Encoding Linear Logic with Interaction Combinators. Information and Computation, 176(2):153-186, August 2002.
Ian Mackie. Interaction Nets for Linear Logic. Theoretical Computer Science, 247(1):83-140, 2000.
Maribel Fernández and Ian Mackie. Interaction Nets and Term Rewriting Systems. Theoretical Computer Science, 190(1):3-39, 1998.
Ian Mackie. Lilac: A functional programming language based on Linear Logic. Journal of Functional Programming, 4(4):395-433, 1994.
Ian Mackie, Leopoldo Román and Samson Abramsky. An internal language for autonomous categories. Journal of Applied Categorical Structures, 1(3):311-343, 1993.

Conference Papers

Maribel Fernández, Murdoch J.Gabbay and Ian Mackie. Nominal Rewriting Systems. 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming. LNCS, 2004.
Ian Mackie. Efficient lambda evaluation with interaction nets. 15th International Conference on Rewriting Techniques and Applications Rewriting Techniques and Applications (RTA'04). LNCS, 2004.
François-Régis Sinot, Maribel Fernández and Ian Mackie. Efficient Reductions with Director Strings. Rewriting Techniques and Applications (RTA'03). LNCS 2706, 2003.
Maribel Fernández and Ian Mackie. Call-by-value lambda-graph rewriting without rewriting. International Conference on Graph Transformation, LNCS 2505, October 2002.
Maribel Fernández, Ian Mackie and Jorge Sousa Pinto. Combining Interaction nets with Externally Defined Programs. APPIA-GULP-PRODE Joint Conference on Declarative Programming, 2001.
Maribel Fernández and Ian Mackie. A Theory of Operational Equivalence for Interaction Nets. In proceedings of the 4th Latin American Symposium on Theoretical Informatics (LATIN 2000), LNCS 1776, 2000.
Maribel Fernández and Ian Mackie. Closed Reductions in the Lambda Calculus. In proceedings of Computer Science Logic (CSL99), LNCS 1683, 1999.
Maribel Fernández and Ian Mackie. A Calculus for Interaction Nets. In proceedings of Principles and Practice of Declarative Programming (PPDP99). LNCS 1702, 1999.
Ian Mackie. YALE: Yet Another Lambda Evaluator Based on Intetaction Nets. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98), ACM Press, September 1998.
Ian Mackie. Linear logic with boxes. In Proceedings of the 13th IEEE Symposium on Logic in Computer Science (LICS'98). IEEE Computer Society Press, June 1998.
Maribel Fernández and Ian Mackie. Coinductive Techniques for Operational Equivalence of Interaction Nets. In Proceedings of the 13th IEEE Symposium on Logic in Computer Science (LICS'98). IEEE Computer Society Press, June 1998.
Ian Mackie. Static Analysis of Interaction Nets for Distributed Implementations. In P. van Hentenryck, editor, Proceedings of the 4th International Static Analysis Symposium (SAS'97), number 1302 in Lecture Notes in Computer Science, pages 217-231. Springer-Verlag, 1997.
Maribel Fernández and Ian Mackie. From Term Rewriting to Generalised Interaction Nets. In Herbert Kuchen and S. Doaitse Swierstra, editors, Programming Languages: Implementations, Logics, and Programs. 8th International Symposium, PLILP'96, number 1140 in Lecture Notes in Computer Science, pages 319-333. Springer-Verlag, September 1996.
Maribel Fernández and Ian Mackie. Interaction Nets and Term Rewriting Systems (Extended abstract). In H. Kirchner, editor, Trees in Algebra and Programming (CAAP'96), number 1059 in Lecture Notes in Computer Science, pages 149-164. Springer-Verlag, April 1996.
Thomas Jensen and Ian Mackie. Flow Analysis in the Geometry of Interaction. In H. R. Nielson, editor, Proceedings of the 6th European Symposium on Programming (ESOP'96), number 1058 in Lecture Notes in Computer Science, pages 188-203. Springer-Verlag, 1996.
Ian Mackie. The Geometry of Interaction Machine. In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), Pages 198-208, San Francisco, January 23-25, 1995.

Workshop Papers

Maribel Fernandez, Ian Mackie and Jorge Sousa Pinto. A Higher-Order Calculus for Graph Transformation. Termgraph 2002. Electronic Notes in Theoretical Computer Science, October 2002.
Maribel Fernandez, Ian Mackie, Paula Severi and Nora Szasz. A Uniform Approach to Program Extraction: Pure Type Systems with Ultra Sigma-types. XXVIII Latin-American Conference on Informatics, November 2002.
Maribel Fernández and Ian Mackie. Packing Interaction Nets: Applications to linear logic and the lambda calculus. Argentinian Workshop of Theortical Computer Science (WAIT2001), Buenos Aires, September 2001.
Maribel Fernández and Ian Mackie. Generalized Director Strings and Explicit Substitutions. The Fourth International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, Utrecht, May 2001.
Ian Mackie and Jorge Sousa Pinto. Compiling the Lambda Calculus into Interaction Combinators. Logical Abstract Machines workshop, 1998.
Maribel Fernández and Ian Mackie. Integrating Paradigms via Interaction Nets. In Proceedings Multi-Paradigm Logic Programming, MPLP'96.
Ian Mackie. A lambda-evaluator based on Interaction nets. In Theory and Formal Methods 1994: Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods (C. Hankin, I. Mackie and R. Nagarajan, eds.).
Ian Mackie, Leopoldo Román and Samson Abramsky. An internal language for autonomous categories (Extended Abstract). In Theory and Formal Methods 1993: Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods (G. Burn, S. Gay and M. Ryan, eds.), Workshops in Computing, Springer-Verlag, 1993.

Technical Reports


Course Notes

Linear Logic: introduction and applications.
Parallel programming with MPI.

Misc

Ian Mackie. Representing lambda terms.
Maribel Fernández, Ian Mackie and Jorge Sousa Pinto. A Generic Interaction Programming Language.
Maribel Fernández, Ian Mackie and Jorge Sousa Pinto. A Higher-Order Calculus of Interaction
Ian Mackie. Implementing the lambda calculus with interaction nets.

Links

Samson Abramsky, Maribel Fernández, Simon Gay, Jean Goubault-Larrecq, Chris Hankin, Thomas Jensen, Raja Nagarajan, Leopoldo Román, Mark Ryan, Jorge Sousa Pinto
The original of this page is to be found at: http://ianmackie.com/papers.