University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Generic pattern unification: a categorical approach

Generic pattern unification: a categorical approach

Add to your list(s) Download to your calendar using vCal

  • UserAmbroise Lafont, University of Cambridge
  • ClockFriday 21 October 2022, 14:00-15:00
  • HouseSS03.

If you have a question about this talk, please contact Jamie Vicary.

We provide a generic categorical setting for Miller’s pattern unification. The syntax with metavariables is generated by a free monad applied to finite coproducts of representable functors; the most general unifier is computed as a coequaliser in the Kleisli category restricted to such coproducts. Our setting handles simply-typed second-order syntax, linear syntax, or (intrinsic) polymorphic syntax such as system F.

(joint work with Neel Krishnaswami)

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity