Items where Author is "<span class="person_name">Hascoët, Laurent</span>"
Number of items: 1.
Other
  • A framework for proving correctness of adjoint message-passing programs. (2008) Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme and Jean Utke