[PL-sem-jr] 06/15/2017

[Ming-Ho Yee]

11am is doable but not ideal. After 2pm on Wednesday works better for me.

On Sun, Jun 11, 2017 at 9:11 PM, Matthew Kolosick <kolosick.m at husky.neu.edu>
wrote:

> That works for me.
> –Matt
>
>
> On June 11, 2017 at 7:46:06 PM, Artem Pelenitsyn
> (artem.pelenitsyn at gmail.com) wrote:
> > Dear participants of Pl-sem-jr!
> >
> > Julia flys for ECOOP Thursday afternoon. Will it be possible to shift our
> > meeting from Thursday to Wednesday? Not only for her to be able to
> > participate, but also for me to accompany her on the way to airport.
> >
> > I checked out our poll for a time:
> > https://www.when2meet.com/?6176735-4ddqD
> > It turns out that the most convinient time on Wednesday is 11-00. Is it
> OK
> > for most of us?
> >
> > --
> > Best regards,
> > Artem
> >
> > On Fri, 9 Jun 2017, 21:06 Artem Pelenitsyn,
> > wrote:
> >
> > > Hi, guys!
> > >
> > > Thank everyone who voted for the topic. Clear winner is 'Compiling to
> > > categories' -- we will discuss it next Thursday. Please, prepare:
> > > http://conal.net/papers/compiling-to-categories/
> compiling-to-categories.pdf
> > >
> > > -- Artem
> > >
> > >
> > > чт, 8 июн. 2017 г. в 14:34, Artem Pelenitsyn :
> > >
> > >> Hi, guys!
> > >>
> > >> I have two options for the next week so far:
> > >>
> > >> - V. Vene categorical programming with inductive and coinductive
> > >> types (first several chapters) // PhD thesis
> > >> - C. Elliot Compiling to categories // ICFP'17
> > >>
> > >> Would it be possible for you to vote for any?
> > >> https://www.survle.com/s/593994f4dbf20
> > >>
> > >> Short summary:
> > >> 1) (Vene) Categorical means to express common "(co)inductive" types
> > >> (Lists, Trees, Streams...) and algorithms on them (fold/unfold).
> > >> 2) (Elliot) Categorical approach to program transformation in Haskell:
> > >> write simple functional program and turn it into 1) graph, 2) hardware
> > >> description, etc.
> > >>
> > >> As for the second option (this is my favourite one as it is newer for
> > >> me): No deep understanding of Haskell is required, syntax would be
> > >> described as we go (we only need the notion and syntax for type
> classes
> > >> really).
> > >>
> > >> --
> > >> Best wishes,
> > >> Artem
> > >>
> > >
> > _______________________________________________
> > Pl-sem-jr mailing list
> > Pl-sem-jr at lists.ccs.neu.edu
> > https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
> >
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed