Using Types as Approximations for Type Checking Prolog Programs.
Christoph Beierle, Gregor Meyer
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/BeierleM99 ↗
Browse the full FLOPS paper archive.