Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is lambda calculus  [Clear All Filters]
Conference Papers
Bierman G, Hicks MW, Sewell P, Stoyle G, Wansbrough K.  2003.  Dynamic rebinding for marshalling and update, with destruct-time ? Proceedings of the eighth ACM SIGPLAN international conference on Functional programming. :99-110.