Ausdruck
131Deutsche Literatur — Deutsche Literatur, im weitesten Sinn der Inbegriff der gesamten Schriftwerke des deutschen Volkes, insofern sie Geistesprodukte von bleibender und nachwirkender Bedeutung und dadurch Gegenstand fortgesetzten Anteils sind oder doch einen… …
132Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… …