Typeful Programming Export

@incollection{cardelli:tp, abstract = {There exists an identifiable programming style based on the widespread use of type information handled through mechanical typechecking techniques.}, address = {Berlin}, author = {Cardelli, Luca}, booktitle = {Formal Description of Programming Concepts}, citeulike-article-id = {335767}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/cardelli89typeful.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/cardelli89typeful.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/cardelli89typeful.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/cardelli89typeful.html}, editor = {Neuhold, E. J. and Paul, M.}, keywords = {functional-programming, type-theory}, pages = {431--507}, posted-at = {2008-06-09 11:19:47}, priority = {3}, publisher = {Springer-Verlag}, title = {Typeful Programming}, url = {http://citeseer.ist.psu.edu/cardelli89typeful.html}, year = {1991} }

TY - CHAP ID - cardelli:tp L3 - citeulike-article-id:335767 N2 - There exists an identifiable programming style based on the widespread use of type information handled through mechanical typechecking techniques. AD - Berlin EP - 507 TI - Typeful Programming PB - Springer-Verlag T2 - Formal Description of Programming Concepts SP - 431 KW - functional-programming KW - type-theory AU - Cardelli, Luca A2 - Neuhold, EJ A2 - Paul, M PY - 1991/// UR - http://citeseer.ist.psu.edu/cardelli89typeful.html ER -