( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Types and Specifications.

, и . IFIP Congress, стр. 915-920. North-Holland/IFIP, (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rabbe Nordström

Ludwig Nordström

Jakob Nordström

Fredrik Nordström

Franziska Ulrike Nordström

 

Другие публикации лиц с тем же именем

The Design of Apple - A Language for Modular Programs., и . Comput. Lang., 10 (1): 1-22 (1985)Types and Specifications., и . IFIP Congress, стр. 915-920. North-Holland/IFIP, (1983)Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2)., и . NII Shonan Meet. Rep., (2015)Programming with abstract data types, some examples.. ACM Annual Conference (2), стр. 646-654. ACM, (1978)Multilevel functions in Martin-Löf's type theory.. Programs as Data Objects, том 217 из Lecture Notes in Computer Science, стр. 206-221. Springer, (1985)Frontmatter, Table of Contents, Preface, Workshop Organization., и . TYPES, том 19 из LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Multilingual Syntax Editing in GF., , и . CICLing, том 2588 из Lecture Notes in Computer Science, стр. 453-464. Springer, (2003)Type Theorie Programming., , , и . Bulletin of the EATCS, (1994)Programming in Constructive Set Theory: Some examples.. FPCA, стр. 141-154. ACM, (1981)The Design of an Interactive Program Development System for Pascal., и . Softw. Pract. Exp., 14 (2): 177-190 (1984)