Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frank Huch
A Pattern Logic for Prompt Lazy Assertions in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Role for Dependent Types in Haskell
Proceedings of the ACM on Programming Languages
Using Relative Logic for Pattern Recognition
Transforming Haskell for Tracing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Refinement Types for Haskell
ACM SIGPLAN Notices
Computer Science
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Markov Logic: A Unifying Language for Structural and Statistical Pattern Recognition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using LINQ as a Universal Tool for Defining Architectural Assertions
A New Programming Technique for Lazy Functional Languages
Science of Computer Programming
Software
Runtime Support for Multicore Haskell
ACM SIGPLAN Notices
Computer Science
