Input/Output for ELAN

Patrick Viry
1996 Electronical Notes in Theoretical Computer Science  
We show h o w to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speci cation of -calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the e ectiveness of this approach.
doi:10.1016/s1571-0661(04)00033-7 fatcat:56llq52e6ffsnekvlxybh4xeei