%0 Conference Paper %1 conf/ifip2/Cardelli89 %A Cardelli, Luca %B Formal Description of Programming Concepts %D 1989 %E Neuhold, Erich J. %E Paul, Manfred %I Springer %K dblp %P 431- %T Typeful Programming. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1989.html#Cardelli89 %@ 3-540-53961-1

@inproceedings{conf/ifip2/Cardelli89, added-at = {2020-03-12T00:00:00.000+0100}, author = {Cardelli, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2f44571c7aaf55a3f17dc5232df56e434/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1989}, editor = {Neuhold, Erich J. and Paul, Manfred}, ee = {http://lucacardelli.name/Papers/TypefulProg.pdf}, interhash = {5a627aac010dfd789acfbbee5abb295f}, intrahash = {f44571c7aaf55a3f17dc5232df56e434}, isbn = {3-540-53961-1}, keywords = {dblp}, pages = {431-}, publisher = {Springer}, series = {IFIP State-of-the-Art Reports}, timestamp = {2020-03-13T12:40:51.000+0100}, title = {Typeful Programming.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1989.html#Cardelli89}, year = 1989 }