activity
20042015
most citedDeclarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell

12 citations · 14 across the 5 of their papers we have counts for

collaborators
Showing 2004Show all

1 paper · 1 filter

cs.PL2004

High-Level Networking With Mobile Code And First Order AND-Continuations

Paul Tarau, Veronica Dahl

We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehens…