Luca Cardelli Types for Data-Oriented Languages. 1-15 1988 conf/edbt/88 EDBT db/conf/edbt/edbt88.html#Cardelli88 EDBT88/P001.pdf http://dx.doi.org/10.1007/3-540-19074-0_44 journals/tods/AlbanoCO85 journals/cj/AtkinsonBCCM83 ... ... conf/popl/Cardelli88 journals/csur/CardelliW85 ... conf/popl/MitchellP85 journals/tods/MylopoulosBW80 conf/dbpl/Ohori87 ... ... journals/tods/Schmidt77