Travelled to:1 × Germany
1 × Japan
1 × The Netherlands
1 × USA
Collaborated with:∅ S.West C.K.Anand M.Al-hassy J.Carette
Talks about:transform (3) graph (3) collagori (2) match (2) code (2) framework (1) bicolimit (1) visualis (1) pullback (1) parallel (1)
Person: Wolfram Kahl
DBLP: Kahl:Wolfram
Contributed to:
2010
20102009
2007
2004
1999
2019Wrote 7 papers:
- GT-VMT-2010-Kahl
- Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).
- ICGT-2010-Kahl #category theory #graph transformation
- Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
- GT-VMT-2009-WestK #editing #framework #graph transformation #haskell #visualisation
- A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
- AGTIVE-2007-AnandK #assembly #generative #graph transformation
- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
- FLOPS-2004-Kahl #calculus #pattern matching
- Basic Pattern Matching Calculi: a Fresh View on Matching Failure (WK), pp. 276–290.
- PADL-1999-Kahl #combinator #concept #documentation #pretty-printing
- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.
- GPCE-2019-Al-hassyCK
- A language feature to unbundle data at will (short paper) (MAh, JC, WK), pp. 14–19.