The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ian Mackie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  41. Visual Programming with Interaction Nets. [Citation Graph (, )][DBLP]


  42. A Visual Model of Computation. [Citation Graph (, )][DBLP]


  43. A rewriting paradigm for program and algorithm animation. [Citation Graph (, )][DBLP]


  44. Iterators, Recursors and Interaction Nets [Citation Graph (, )][DBLP]


  45. Linear Recursion [Citation Graph (, )][DBLP]


  46. Proceedings First International Workshop on Linearity [Citation Graph (, )][DBLP]


  47. Proceedings Tenth International Workshop on Rule-Based Programming [Citation Graph (, )][DBLP]


  48. A Higher-Order Calculus for Graph Transformation. [Citation Graph (, )][DBLP]


  49. Preface. [Citation Graph (, )][DBLP]


  50. Preface. [Citation Graph (, )][DBLP]


  51. Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP]


  52. A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. [Citation Graph (, )][DBLP]


  53. Compilation of Interaction Nets. [Citation Graph (, )][DBLP]


  54. Recursive Functions with Pattern Matching in Interaction Nets. [Citation Graph (, )][DBLP]


Search in 0.647secs, Finished in 0.651secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002