Skip to content

Functional Back-Ends within the Lambda-Sigma Calculus.

Thrse Hardin, Luc Maranget, Bruno Pagano

VenueAICFP
Year1996
ProceedingsICFP

Browse the full ICFP paper archive.