[Alta-Logic] Peripatetic seminar this Friday

[Florian Schwarz]

Dear all,

The peripatetic seminar is back.

I am very happy to announce that this Friday, *Sept 19th 2025 at 3pm* 
(please be aware of the unusual time) we will hear from Saina 
Daneshmandjahromi.

Title: Universally Quantified Type Inference

Abstract: Haskell’s type system is based on the Hindley–Milner type 
system, which supports only rank-1 types. As functional languages have 
evolved, higher-rank types have been recognized as being useful for 
expressing more general abstract functions. Peyton Jones et al. 
introduced a type inference algorithm for universally quantified types 
in Haskell. However, full type inference for higher-ranked types is 
undecidable and consequently often requires explicit type annotations to 
facilitate type inference. In this work, we propose a simplified 
algorithm for inferring these types. Our approach is demonstrated using 
a minimal programming language syntax and provides a modular method for 
inferring higher-ranked types. The inference process is organized into 
two distinct steps: generating type equations and then solving them. By 
separating the collection of equations from their resolution, this work 
gives a more modular inference algorithm, which is slightly more general 
than the bidirectional system introduced by Peyton Jones.

Location: ICT 616

Website: https://logic.ucalgary.ca/event/saina-daneshmandjahromi/

Hope to see you all there!

Best regards,

Florian Schwarz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20250916/aa8b51dd/attachment.html>