[Haskell-cafe] [ANNOUNCEMENT] 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
johannes.waldmann at htwk-leipzig.de
Mon May 6 11:16:35 UTC 2019
Dear Cafe -
if your're using Haskell, you are using (term) rewriting:
both first order (pattern matching on algebraic data types)
and higher order (lambda calculus).
Here is your chance to get the fundamentals right,
and see more applications:
the 11th International School on Rewriting (ISR'19),
1-6 July 2019, MINES ParisTech, France.
Deadline for early registration: May 17
full text of call for participation
More information about the Haskell-Cafe