Hi all,
I have found out that new haskell.org site and migration of Haskell wiki
to wiki.haskell.org did broke some of the old links, e. g.:
http://www.haskell.org/haskellwiki/index.php?title=Functor-Applicative-Monad_Proposaloldid=58553
is redirecting simply to
not decided yet, I am please to announce that
we have one more speaker - Conor McBride will give a (revolutionary?)
talk.
Best regards,
Frantisek Farka
The Theory of Computation group at the University of Dundee invites
you
enough to provide their slides.
Best regards,
Frantisek Farka
On Wed, 15 Apr 2015 22:28:51 +0100
Frantisek Farka franti...@farka.eu wrote:
*
WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING
Tuesday the 12th of May
*
WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING
Tuesday the 12th of May, 12PM to 6PM
School Of Computing,
University of Dundee
http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/
On Thu, 16 Apr 2015 11:13:19 +0700
Kim-Ee Yeoh k...@atamo.com wrote:
Hi Kim-Ee,
I am afraid we currently do not plan to record the talks. But if
anything changes anf there will be any recordings I will send an email
to let the people in this mailing list know.
Best,
Franta
Hi FrantiĊĦek,
Call for Papers
Workshop on
Logic Programming for Type Inference
16-17 October 2016, New York, USA
https://ff32.host.cs.st-andrews.ac.uk/lpti16/
Objectives and scope
---
Two facts are universally acknowledged: critical software must be
subject to formal verification and modern
Hello all,
I was looking for my master thesis topic and my supervisor suggested an
idea of extending class system so it enables refactoring Type Class
hierarchy without affecting client source code which is using
refactored classes.
One example is Functor - Applicative - Monad problem and
