View Item 

Program equivalence in an untyped, call-by-value functional language with uncurried functions

Horpácsi, Dániel; Bereczky, Péter; Thompson, Simon
Date: 2023
URI: http://hdl.handle.net/10831/107704
MTMT: 33642454
DOI: 10.1016/j.jlamp.2023.100857

Show full item record

Files in this item

Program equivalence in an untyped, call-by-value functional language with uncurried functions
Name: 33642454.pdf
Size: 601.0Kb
Format: PDF
View/Open
 
Nevezd meg! - Ne add el! - Ne változtasd! CC-BY-NC-ND
Except where otherwise noted, this item's license is described as Nevezd meg! - Ne add el! - Ne változtasd! CC-BY-NC-ND