[Haskell-cafe] Haskell users on Chile

[Éric Tanter]

I’m a CS professor at Universidad de Chile, doing research in PL, some of it in Haskell. I also use Haskell for part of my PL courses, so there might be some Haskellers that came out of these experiences.

Also, Ismael Figueroa (in cc) graduated from his PhD under my supervision last year. His PhD thesis was entirely around Haskell (monadic embedding of aspects, compositional reasoning about interference), and we’ve done some other stuff on Haskell too (effect capabilities). Ismael is now professor at Universidad Católica de Valparaíso. 

-- Éric


> On Jun 18, 2015, at 2:44 PM, Roman Dzvinkovsky <romand.ne at gmail.com> wrote:
> 
> Living in Viña del Mar, would love to participate.
> 
> 2015-06-09 9:46 GMT-03:00 Anupam Jain <ajnsit at gmail.com <mailto:ajnsit at gmail.com>>:
> Great idea! Though not a native Chilean, I lived in Chile (Santiago)
> for the better part of a year in 2014-2015, where my favourite
> activity was infiltrating JS meetups and evangelizing Haskell :)
> 
> It would be great to have a dedicated Haskell community there.
> 
> -- Anupam
> 
> On Tue, Jun 9, 2015 at 5:44 PM, Ruben Astudillo <ruben.astud at gmail.com <mailto:ruben.astud at gmail.com>> wrote:
> > Hi all
> >
> > I would like to see how many haskellers are living on Chile with hopes of
> > forming a user group. If you are in here, you should reply this thread and
> > see
> > how many of us there are. You can also contact me to my mail.
> >
> > --
> > Ruben Astudillo. pgp: 0x3C332311 , usala en lo posible :-)
> > Crear un haiku, en diecisiete silabas, es complica...
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org <mailto:Haskell-Cafe at haskell.org>
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org <mailto:Haskell-Cafe at haskell.org>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe>
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150618/aec3a964/attachment.html>