Computing with Abstract Bhm Trees.
Pierre-Louis Curien, Hugo Herbelin
VenueNationalFLOPS
Year1998
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/CurienH98 ↗
Browse the full FLOPS paper archive.
Pierre-Louis Curien, Hugo Herbelin
Browse the full FLOPS paper archive.