Has anyone successfully compiled Pugs with GHC 6.12? The Pugs page suggests
that it compiles, but it falls to link (and therefore build) when I try it.
Thanks!
Simon T.___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailm
Just updated: list of books for review in the journal of functional
programming, available here:
http://www.cs.kent.ac.uk/people/staff/sjt/JFP/available.html
Regards
Simon T.___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.
Borba, UFPE
* Peter Mosses, Swansea University
* Qiu Zongyang, Beijing University
* Rafael Dueire Lins, UFPE
* Renato Cerqueira, PUC-Rio
* Ricardo Massa, UFPE
* Roberto S. Bigonha, UFMG
* Roberto Ierusalimschy, PUC-Rio
* Sandro Rigo, UNICAMP
* Sergio Soares, UFPE
* Simon Thompson, Univ. of Kent
*
ty of Montreal
Ralf Hinze, University of Oxford
Shriram Krishnamurthi, Brown University
Michel Mauny, ENSTA Paris Tech
James McKinna, UK
Marco T. Morazan, Seton Hall University
Rinus Plasmeijer, Radboud University Nijmegen
Simon Thompson, University of Kent
Important Dates
May 20submissi
om/fe/tpl_kent01.asp?newms=jj&id=36123&newlang=1
Closing date: 1/4/12, interviews: 30/4/12
If you have any questions do get in touch.
Regards.
Simon
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.a
andro Rigo, UNICAMP
* Sergio Soares, UFPE
* Simon Thompson, Univ. of Kent
* Varmo Vene, Univ. de Tartu
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk
le taste of the joys of concurrent
programming in Haskell. By the end, you will be writing some simple (but real!)
Concurrent Haskell programs. We will also cover some of the practical aspects
of day-to-day programming in Haskell, such as working with third-party
libraries.
Simon Thompson | Pro
If you have any questions about the position, or would like to discuss it
informally, please contact me by email.
Simon Thompson
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 79
rable
(and often the
definitions too).
Simon
On 16 Oct 2012, at 20:14, David Thomas wrote:
>> class Monad m where
>> return :: a -> m a
>> kleisli :: (a -> m b) -> (b -> m c) -> (a -> m c)
Simon Thompson | Professor of Logic and Computation
School of C
outputs to stdout, and repeats this process until
> EOF? Should I be thinking of every iteration as a separate program?
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 085754
be
provided by the meeting?
and should be sent by email to
- Francesco Cesarini: france...@erlang-solutions.com
- Simon Thompson: s.j.thomp...@kent.ac.uk
by 31 March 2013.
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
There's still time to submit a tutorial proposal for Commercial Users of
Functional Programming in Boston …
http://cufp.org/cufp2013-call-tutorials
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.
berto Ierusalimschy, PUC-Rio
Sandro Rigo, UNICAMP
Sergio Soares, UFPE
Simon Thompson, Univ. of Kent
Varmo Vene, Univ. de Tartu
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 08575
XCode command line tools installed.
Thanks!
Simon T.
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
___
Ha
self, or wait for a new release.
>
> On May 30, 2013 3:04 PM, "Simon Thompson" wrote:
>
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44
(TBC)
* Peter Mosses, Swansea University
* Renato Cerqueira, PUC-Rio
* Ricardo Massa, UFPE
* Roberto S. Bigonha, UFMG (TBC)
* Roberto Ierusalimschy, PUC-Rio
* Sandro Rigo, UNICAMP
* Sergio Soares, UFPE (TBC)
* Sergiu Dascalu, Univ. of Nevada
* Simon Thompson, Univ. of Kent
* Sophia Drossopoulou, Imp
I did some work years ago about giving a predicate logic treatment of Haskell,
based on earlier work for Miranda, and formalised some proofs based on this in
Isabelle. Here are the links:
Logic for Miranda, revisited [from Formal Aspects of Computing, 1995]
http://www.cs.kent.ac.uk/pubs/1995/6
Pueschel (ETH Zurich, Switzerland)
- Martin Berger (University of Sussex, UK)
Program Chairs
- Oleg Kiselyov (Monterey, CA, USA)
- Simon Thompson (University of Kent, UK)
Program Committee Members
- Emilie Balland (INRIA, France)
- Ewen Denney (NASA Ames Research Center, USA)
- Martin Erwig (Oregon St
A Cost and Termination Analyzer for ABS
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
___
Haskell-Cafe ma
Sussex, UK)
http://www.informatics.sussex.ac.uk/users/mfb21/
VENUE
The conference is co-located with POPL and will be held at
the Sheraton Society Hill Hotel in Philadelphia's historic district.
For hotel rate details and booking please see the POPL webpage:
http://www.cse.psu.edu/pop
20 matches
Mail list logo
