Shinya Sato (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker: Recursive Functions with Pattern Matching in Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 55-71 (2009)

4 Abubakar Hassan, Ian Mackie, Shinya Sato: Compilation of Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 73-90 (2009)

3 Abubakar Hassan, Ian Mackie, Shinya Sato: Interaction nets: programming language design and implementation. ECEASST 10: (2008)

2 Ian Mackie, Shinya Sato: A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electr. Notes Theor. Comput. Sci. 192(3): 59-70 (2008)

Selection of 4 from 5 records - Shinya Sato has 4 coauthors

5		Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker: Recursive Functions with Pattern Matching in Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 55-71 (2009)
4		Abubakar Hassan, Ian Mackie, Shinya Sato: Compilation of Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 73-90 (2009)
3		Abubakar Hassan, Ian Mackie, Shinya Sato: Interaction nets: programming language design and implementation. ECEASST 10: (2008)
2		Ian Mackie, Shinya Sato: A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electr. Notes Theor. Comput. Sci. 192(3): 59-70 (2008)