Вы здесь

Huch F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Observing Functional Logic Computations 2004 Brassel B., Chitil O., Hanus M., Huch F. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Concurrent Semantics for the Web Services Specification Language DAML-S 2002 Ankolekar A., Huch F., Sycara K. Lecture Notes in Computer Science 12.06.2002
СТ ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry 2001 Hanus M., Huch F., Niederau P. Lecture Notes in Computer Science 23.05.2001
СТ Distributed Programming in Haskell with Ports 2001 Huch F., Norbisrath U. Lecture Notes in Computer Science 23.05.2001
СТ Verification of Erlang Programs using Abstract Interpretation and Model Checking 1999 Huch F. SIGPLAN Notices 20.12.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Implementation and Application of Functional Languages: Revised Selected Papers/16th International Workshop, IFL 2004. Luebeck, Germany, September 2004 2005 Lecture Notes in Computer Science
  1. Grelck C.
  2. Huch F.
  3. Michaelson G. J.
  4. Trinder Ph.
30.08.2005