Skip to content

Towards an API for the real numbers.

Hans-Juergen Boehm

VenueA*PLDI
Year2020
ProceedingsPLDI

Browse the full PLDI paper archive.