iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/lpar/MarionM00.rdf
Jean-Yves Marion and Jean-Yves Moyen: Efficient First Order Functional Program Interpreter with Time Bound Certifications. (2000) conf/lpar/MarionM00 10.1007/3-540-44404-1_3 Efficient First Order Functional Program Interpreter with Time Bound Certifications. 2 Jean-Yves Marion 1 Jean-Yves Moyen 2 25-42 LPAR LPAR 2000 2000 provenance information for RDF data of dblp record 'conf/lpar/MarionM00' 2017-05-23T01:12:11+0200