- TAPSOFT
- International Joint Conference on Theory and Practice of Software Development (informationswissenschaftl. Veoeffentlichungen)
Acronyms. 2013.
TAPSOFT
Schlagen Sie auch in anderen Wörterbüchern nach:
TAPSOFT — International Joint Conference on Theory and Practice of Software Development (informationswissenschaftl. Veröffentlichungen) … Acronyms von A bis Z
List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
Typinferenz 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… … Deutsch Wikipedia
LNCS1214 — M.Ridoit/M.Dauchet (Eds.): TAPSOFT 97: Theory and Practice of Software Development. Proccedings, Springer Verlag 1997 … Acronyms
LNCS249 — Ehrig et al.(Eds.): TAPSOFT 87. Volume 1, Proceedings 1987, Springer Verlag 1987 … Acronyms
LNCS250 — Ehrig et al.(Eds.): TAPSOFT 87. Volume 2, Proceedings 1987, Springer Verlag 1987 … Acronyms
LNCS351 — J. Diaz/F. Orejas (Eds.): TAPSOFT 89. Volume 1. Proceedings 1989, Springer Verlag 1989 … Acronyms
LNCS352 — J. Diaz/F. Orejas (Eds.): TAPSOFT 89. Volume 2. Proceedings 1989, Springer Verlag 1989 … Acronyms
LNCS493 — S. Abramsky/T.S.E. Maibaum (Eds.): TAPSOFT 91 Vol.1, Springer Verlag Proceedings 1991 … Acronyms
