Re: [TYPES] Why are ACM conference registrations so expensive now?

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] On 14/12/2023 11:52, Gabriel Scherer wrote: [..] I think that we could do the following, from the easiest to the requires-more-work: [..] 3. Ensure that it is easy to publish at PACMPL without presenting at the

Re: [TYPES] type inference for mutually recursive algebraic types with subtyping

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Anyone interested in type inference in the presence of subtyping should read Stephen Dolan's PhD dissertation on algebraic subtyping: https://www.cl.cam.ac.uk/~sd601/thesis.pdf The main ideas are also covered in

Re: [TYPES] breaking abstraction with ML exceptions

mind? Cheers, Derek On Wed, Mar 28, 2018 at 11:49 AM, Sam Lindley <sam.lind...@ed.ac.uk> wrote: [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] The following SML program exception C; structure M :> sig exception A end = struct exception A

[TYPES] breaking abstraction with ML exceptions

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] The following SML program exception C; structure M :> sig exception A end = struct exception A = C end; (raise M.A) handle C => 42 returns the value 42 (according to SML/NJ and, I believe, the 1997