Liberal Typing for Functional Logic Programs.

Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal

Browse the full APLAS paper archive.