,
and CUFP 2007 for information about the earlier meetings, including
reports from attendees and video of the most recent talks.
--
Andy Adams-Moran Phone: 503.626.6616, x113
Galois Fax: 503.214.8120
421 SW 6th Ave
Andy Adams-Moran wrote:
> Just an update: I just added slides from Howard Mansell (Credit Suisse)
> and Rishiyur Nikhil (BlueSpec).
Thanks to everyone who pointed out that there was a typo on the page;
Nikhil's slides should be downloadable now at
http://www.galois.com/cufp/
Ch
Andy Adams-Moran wrote:
> John Hughes wrote:
>
>> The intention is to put the speaker's slides online. But in some cases,
>> that will require additional permission from the company
>> concerned--putting slides on the web is more public than talking at a
>&g
All this is going to
> take a little while, so while the slides WILL appear in the medium term,
> don't hold your breath.
Some of them are up already; see http://www.galois.com/cufp. The rest
will be put up as we get them.
Cheers,
Andy
--
Andy Adams-Moran
repository, then you should switch to cvs.haskell.org. If
you were already using cvs.haskell.org, then you shouldn't notice much
of a change (beyond better service).
Cheers,
Andy
--
Andy Moran Phone: 503.626.6616, x113
Galois Connection
echnical interchange. A full report
of last year's workshop appeared in the Functional Programming column
of the December 2004 issue of SIGPLAN Notices, and we plan to do the
same this year.
--
Andy Moran Phone: 503.626.6616, x113
Galois Connections Inc.
ur suggestee should
give a talk about.
Program Committee
-
Mike Ashley: Mike.Ashley at sagian.com
Jim Grundy: Jim_Grundy at ichips.intel.com
Xavier Leroy: Xavier.Leroy at inria.fr
Simon Peyton Jones: simonpj at microsoft.com
Ulf Wiger: ulf.wiger at ericsson.com
Andy Moran:
ng of global
variables (which the unsafePerformIO technique does not).
Cheers,
Andy
--
Andy Moran Ph. (503) 626 6616, x113
Galois Connections Inc. Fax. (503) 350 0833
12725 SW Millikan Way, Suite #290
- detection of unnecessary arguments for functions;
- detection of unnecesary imports of modules;
http://www.haskell.org/ghc/docs/latest/html/users_guide/options-sanity.html
ghc -W:
Provides the standard warnings
plus -fwarn-incomplete-patterns, -fwarn-unused-matches, -fwarn-unused-imports,
possible. But our clients want high assurance tools and products with very
complex functionality. Without Haskell (or some similar language), we
wouldn't even be able to attempt to build such tools and products.
Cheers,
Andy
--
Andy Moran Ph. (50
y to be able
to pick and choose. Both -f and -fno is the way to go
IMHO.
A
--
Andy Moran Ph. (503) 626 6616, x113
Galois Connections Inc. Fax. (503) 350 0833
12725 SW Millikan Way, Suite #290 http://ww
erence Record of POPL '96: The 23rd ACM
SIGPLAN-SIGACT Symposium on Principles of Programming
Languages, St. Petersberg Beach, Florida",
year = "1996",
organization = "ACM",
addres
[ Meant for this to go to the mailing list ... ]
--
Andy Moran Ph. (503) 526 3472
Galois Connections Inc. Fax. (503) 350 0833
3875 SW Hall Blvd. http://www.galconn.com
Beaverton, OR
only
system with this extension implemented thus far, but there are rumours of Hugs
not being far behind (I'm looking at you, Alastair David :-)
The exceptions mechanisms would certainly benefit from an addendum.
Cheers,
Andy
--
Andy Moran
Nick Kallen sent me the attached reply.
--
Andy Moran
PacSoft x7557
Computer Science & Engineering +1 503 748 7557
Oregon Graduate Insti
xplained in:
http://www.cse.ogi.edu/~mbs/pub/type_indexed_rows
Cheers,
Andy
--
Andy Moran
PacSoft x7557
Computer Science & Engineering +1
With some small mention of FP (ML in particular):
http://www.cs.cmu.edu/~mihaib/kernighan-interview/index.html
[EMAIL PROTECTED] writes:
> Andrew J. Kennedy. Dimension Types. In ESOP '94: Proceedings of the
> Fifth European Symposium on Programming, Lecture Notes in Computer
> Science 788. Springer-Verlag, 1994
>
> Available electronically from the out-of-date home page
> http://www.cl.cam.ac.
Lennart Augustsson writes:
> > OK, I'm curious. Two people replied that C++ has undecidable type
> > checking. I was not aware of this (although I can't say I'm too
> > surprised); do you have a reference?
>
> It's actually the template processing that can loop, but it is
> sort of part of the
Andrew Butterfield writes:
> At 15:41 +0100 20/10/97, Greg Michaelson wrote: (rearranged by me for
> dramatic effect :-)
>> But you should look at the Jones and Hayes paper from Software Engineering
>> Journal called something like "Executions are not (always) executable"
I think Greg means "_S
Brian Boutel writes:
> The <- syntax worries me a bit, because in the comprehension use it has a
> different type, but the let syntax is available, and one can write "let p =
> e" "for p <- e". I think that, to reduce possible confusion, I would use,
> and teach, the let form. Given that, I don't
21 matches
Mail list logo
