%0 Journal Article %1 journals/scp/LagoP14 %A Lago, Ugo Dal %A Petit, Barbara %D 2014 %J Sci. Comput. Program. %K dblp %P 77-100 %T Linear dependent types in a call-by-value scenario. %U http://dblp.uni-trier.de/db/journals/scp/scp84.html#LagoP14 %V 84

@article{journals/scp/LagoP14, added-at = {2014-03-16T00:00:00.000+0100}, author = {Lago, Ugo Dal and Petit, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/279b16d604d3603d9d41bb8f5f9d40ec9/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2013.07.010}, interhash = {514c728c32b49b1de73a249aea176bc5}, intrahash = {79b16d604d3603d9d41bb8f5f9d40ec9}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {77-100}, timestamp = {2016-02-02T02:38:54.000+0100}, title = {Linear dependent types in a call-by-value scenario.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp84.html#LagoP14}, volume = 84, year = 2014 }