Skip to content

Type inference for datalog with complex type hierarchies.

Max Schfer, Oege de Moor

VenueA*POPL
Year2010
ProceedingsPOPL

Browse the full POPL paper archive.