Skip to content

Moded Type Systems for Logic Programming.

Katherine A. Yelick, Joseph L. Zachary

VenueA*POPL
Year1989
ProceedingsPOPL

Browse the full POPL paper archive.