Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 5.

Conference or workshop item

Chitil, Olaf and Huch, Frank (2007) Monadic prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems. Lecture Notes in Computer Science Vol. 4807, 4807. Springer pp. 38-53. ISBN 3540766367.

Preview

Chitil, Olaf and Huch, Frank (2007) A Pattern Logic for Prompt Lazy Assertions. In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds. Implementation and Application of Functional Languages. Lecture Notes in Computer Science , 4449. Springer, Germany pp. 126-144. ISBN 978-3-540-7412909 .

Preview

Chitil, Olaf and Huch, Frank (2006) A Pattern Logic for Prompt Lazy Assertions in Haskell. In: Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.

Preview

Chitil, Olaf (2005) Source-based trace exploration. In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004.

Preview

Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), JUN 18-19, 2004, Dallas, TX, .

Preview

This list was generated on Thu May 23 22:51:10 2013 BST.