Torben Æ. Mogensen Semi-inversion of functional parameters. 21-29 2008 PEPM http://doi.acm.org/10.1145/1328408.1328413 conf/pepm/2008 db/conf/pepm/pepm2008.html#Mogensen08