<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">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.<div class=""><br class=""><div class="">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. </div><div class=""><br class=""></div><div class=""><div class=""><div class="">
-- Éric<br class=""><br class="">
</div>
<br class=""><div><blockquote type="cite" class=""><div class="">On Jun 18, 2015, at 2:44 PM, Roman Dzvinkovsky <<a href="mailto:romand.ne@gmail.com" class="">romand.ne@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Living in Viña del Mar, would love to participate.<br class=""></div><div class="gmail_extra"><br class=""><div class="gmail_quote">2015-06-09 9:46 GMT-03:00 Anupam Jain <span dir="ltr" class=""><<a href="mailto:ajnsit@gmail.com" target="_blank" class="">ajnsit@gmail.com</a>></span>:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Great idea! Though not a native Chilean, I lived in Chile (Santiago)<br class="">
for the better part of a year in 2014-2015, where my favourite<br class="">
activity was infiltrating JS meetups and evangelizing Haskell :)<br class="">
<br class="">
It would be great to have a dedicated Haskell community there.<br class="">
<span class="HOEnZb"><font color="#888888" class=""><br class="">
-- Anupam<br class="">
</font></span><div class="HOEnZb"><div class="h5"><br class="">
On Tue, Jun 9, 2015 at 5:44 PM, Ruben Astudillo <<a href="mailto:ruben.astud@gmail.com" class="">ruben.astud@gmail.com</a>> wrote:<br class="">
> Hi all<br class="">
><br class="">
> I would like to see how many haskellers are living on Chile with hopes of<br class="">
> forming a user group. If you are in here, you should reply this thread and<br class="">
> see<br class="">
> how many of us there are. You can also contact me to my mail.<br class="">
><br class="">
> --<br class="">
> Ruben Astudillo. pgp: 0x3C332311 , usala en lo posible :-)<br class="">
> Crear un haiku, en diecisiete silabas, es complica...<br class="">
> _______________________________________________<br class="">
> Haskell-Cafe mailing list<br class="">
> <a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">
_______________________________________________<br class="">
Haskell-Cafe mailing list<br class="">
<a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">
</div></div></blockquote></div><br class=""></div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class=""><a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe<br class=""></div></blockquote></div><br class=""></div></div></div></body></html>