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 wrote:

Living in Viña del Mar, would love to participate.

2015-06-09 9:46 GMT-03:00 Anupam Jain mailto:ajnsit@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 mailto:ruben.astud@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@haskell.org mailto:Haskell-Cafe@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@haskell.org mailto:Haskell-Cafe@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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe