Follow
Wolfram Kahl
Wolfram Kahl
Associate Professor, Dept. of Computing and Software, McMaster University
Verified email at cas.mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Relational methods in computer science
C Brink, W Kahl, G Schmidt
Springer Science & Business Media, 1997
2541997
Named instances for Haskell type classes
W Kahl, J Scheffczyk
Proceedings of the 2001 Haskell Workshop, number UU-CS-2001-23 in Tech. Rep …, 2001
532001
Exploring (finite) relation algebras using tools written in Haskell
W Kahl, G Schmidt
Univ. der Bundeswehr München, Fak. für Informatik, 2000
342000
A Relation-Algebraic Approach to Graph Structure Transformation: Invited Talk
W Kahl
International Conference on Relational Methods in Computer Science, 1-14, 2001
282001
Calculational relation-algebraic proofs in Isabelle/Isar
W Kahl
International Conference on Relational Methods in Computer Science, 178-190, 2003
272003
A study on symmetric quotients
H Furusawa, W Kahl
Univ. der Bundeswehr, Fak. für Informatik, 1998
261998
Basic pattern matching calculi: A fresh view on matching failure
W Kahl
International Symposium on Functional and Logic Programming, 276-290, 2004
242004
Refactoring heterogeneous relation algebras around ordered categories and converse
W Kahl
J. Relational Methods in Comp. Sci 1, 277-313, 2004
232004
Dependently-typed formalisation of relation-algebraic abstractions
W Kahl
Relational and Algebraic Methods in Computer Science: 12th International …, 2011
222011
Control-flow semantics for assembly-level data-flow graphs
W Kahl, CK Anand, J Carette
Relational Methods in Computer Science: 8th International Seminar on …, 2006
222006
Compositional syntax and semantics of tables
W Kahl
SQRL Report 15, 2003
212003
Algebraische Termgraphensetzung mit gebundenen Variablen
W Kahl
Herbert Utz Verlag, 1996
211996
A relation-algebraic approach to graph structure transformation, 2001. Habil
W Kahl
Thesis, Fakultät für Informatik, Univ. der Bundeswehr München, Techn. Report …, 2001
202001
Relational treatment of term graphs with bound variables
W Kahl
Logic Journal of IGPL 6 (2), 259-303, 1998
201998
An optimized Cell BE special function library generated by Coconut
CK Anand, W Kahl
IEEE Transactions on Computers 58 (8), 1126-1138, 2008
192008
Refinement and development of programs from relational specifications
W Kahl
Electronic Notes in Theoretical Computer Science 44 (3), 51-93, 2003
182003
The term graph programming system HOPS
W Kahl
Tool Support for System Specification, Development and Verification, 136-149, 1998
181998
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types
W Kahl
The Journal of Logic and Algebraic Programming 76 (1), 60-89, 2008
152008
Synthesizing and verifying multicore parallelism in categories of nested code graphs
CK Anand, W Kahl
Process Algebra for Parallel and Distributed Processing, 25-68, 2008
142008
Beyond pretty-printing: Galley concepts in document formatting combinators
W Kahl
International Symposium on Practical Aspects of Declarative Languages, 76-90, 1999
141999
The system can't perform the operation now. Try again later.
Articles 1–20