Skip to content

Practical implementation techniques of ambient calculus in conventional dynamic languages.

Seiji Umatani

Year2014
ProceedingsSAC

Browse the full SAC paper archive.