Skip to main content
Kent Academic Repository
Simple search | Advanced search

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
2007 2006 2005 2004 2000
Number of items: 6.

2007

Chitil, Olaf and Huch, Frank (2007) Monadic, prompt lazy assertions in Haskell. In: Shao, Zhong, ed. Programming Languages and Systems, 5th Asian Symposium, APLAS 2007. LNCS 4807, 4807. Springer pp. 38-53. ISBN 3-540-76636-7. (doi:https://doi.org/10.1007/978-3-540-76637-7_4) (Full text available)
[img]
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, 18th International Workshop, IFL 2006. Lecture Notes in Computer Science, 4449. Springer, Germany pp. 126-144. ISBN 97835407412909. (doi:https://doi.org/10.1007/978-3-540-74130-5) (Full text available)
[img]
Preview

2006

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. Eotvos Lorand University, Budapest, Hungary ISBN 963-463-876-7. (Full text available)
[img]
Preview

2005

Chitil, Olaf (2005) Source-Based Trace Exploration. In: Grelck, Clemens and Huch, Frank and Michaelson, Greg and Trinder, Phil, eds. Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004. LNCS 3474. Springer pp. 126-141. ISBN 978-3-540-26094-3. E-ISBN 978-3-540-32038-8. (doi:https://doi.org/10.1007/11431664_8) (Full text available)
[img]
Preview

2004

Brassel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank (2004) Observing Functional Logic Computations. In: Jayaraman, B., ed. Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04). LNCS 3057, 3057. Springer pp. 193-208. ISBN 3-540-22253-7. (Full text available)
[img]
Preview

2000

Simon, Axel and Chitil, Olaf and Huch, Frank (2000) Typeview: A Tool for Understanding Type Errors. In: Mohnen, Markus and Koopman, P., eds. Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages. , Aachen, Germany pp. 63-69. (Full text available)
[img]
Preview

This list was generated on Sun Apr 14 18:19:50 2019 BST.
SensusAccess
Feedback