Program equivalence in a linear functional language.
Program equivalence in a linear functional language.
Gavin M. Bierman
01 September 2000
Venue : J. Funct. Program.
External Link: http://journals.cambridge.org/action/displayAbstract?aid=44301
01 September 2000
Venue : J. Funct. Program.
External Link: http://journals.cambridge.org/action/displayAbstract?aid=44301