Вы здесь

Chitil O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Transforming Haskell for Tracing 2003 Chitil O., Runciman C., Wallace M. Lecture Notes in Computer Science 19.06.2003
СТ Testing and Tracing Lazy Functional Programs Using GuickCheck and Hat 2003 Claessen K., Runciman C., Chitil O., Hughes J., Wallace M. Lecture Notes in Computer Science 06.06.2003
СТ Freja, Hat, and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs 2001 Chitil O., Runciman C., Wallace M. Lecture Notes in Computer Science 23.05.2001
СТ Type-Inference Based Short Cut Deforestation (Nearly) without Inlining 2000 Chitil O. Lecture Notes in Computer Science 14.09.2000
СТ Type Inference Builds a Short Cut to Deforestation 1999 Chitil O. SIGPLAN Notices 20.12.1999
СТ Common Subexpressions Are Uncommon in Lazy Functional Languages 1998 Chitil O. Lecture Notes in Computer Science 08.10.1998