Skip to content

Typing as functional-logic evaluation.

Francisco Javier Lpez-Fraguas, Enrique Martin-Martin

VenueCPEPM
Year2013
ProceedingsPEPM

Browse the full PEPM paper archive.