%0 Conference Paper %1 conf/fics/Nakata10 %A Nakata, Keiko %B FICS %D 2010 %E Santocanale, Luigi %I Laboratoire d'Informatique Fondamentale de Marseille %K dblp %P 61-67 %T Denotational Semantics for Lazy Initialization of letrec. %U http://dblp.uni-trier.de/db/conf/fics/fics2010.html#Nakata10

@inproceedings{conf/fics/Nakata10, added-at = {2020-07-21T00:00:00.000+0200}, author = {Nakata, Keiko}, biburl = {https://www.bibsonomy.org/bibtex/2dfcf70703af375e309b80f93e0455e9c/dblp}, booktitle = {FICS}, crossref = {conf/fics/2010}, editor = {Santocanale, Luigi}, ee = {https://hal.archives-ouvertes.fr/hal-00512377/document#page=62}, interhash = {e45b2d3eac7ed6fee5ec7e88e7736890}, intrahash = {dfcf70703af375e309b80f93e0455e9c}, keywords = {dblp}, pages = {61-67}, publisher = {Laboratoire d'Informatique Fondamentale de Marseille}, timestamp = {2020-07-24T01:10:54.000+0200}, title = {Denotational Semantics for Lazy Initialization of letrec.}, url = {http://dblp.uni-trier.de/db/conf/fics/fics2010.html#Nakata10}, year = 2010 }