At Thu, 12 Jul 2012 11:25:44 +0900, Alex Shinn wrote:
> I disagree - I think a stack grown too large is likely indicative
> of a programming error, or at the very least an inefficient
> algorithm. In the general case I want my programs to be
> able to allocate as much heap as possible, but have a
pers is 6 pages in
Springer LNCS format.
Program Committee
=
Matthew Flatt (co-chair), University of Utah, USA
Ronald Garcia, University of British Columbia, Canada
Hai-Feng Guo (co-chair), University
Program Chair: Matthew Flatt (University of Utah, US)
Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE)
Local Organizer: Ivica Crnkovic (Mälardalen University, SE)
Program Committee
Kenichi Asai (Ochanomizu University, JP)
Emilie Balland (INRIA, FR)
Edwin Brady (University
Program Chair: Matthew Flatt (University of Utah, US)
Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE)
Local Organizer: Ivica Crnkovic (Mälardalen University, SE)
Program Committee
Kenichi Asai (Ochanomizu University, JP)
Emilie Balland (INRIA, FR)
Edwin Brady (University of S
[posted on behalf of the organizers]
Friends,
The program for the 2007 Commercial Users of Functional Programming
workshop is now published.
http://cufp.galois.com/
The workshop is co-located with ICFP, and will be held in Freiburg,
Germany, on 4 October 2007. We had a terrific response
JFYI, PLT Scheme is in the midst of a similar documentation overhaul.
Depending on what you think about the current intermediate state, you
might see things you want to do or things that you want to avoid.
We're taking the "docs source live with the library sources" approach.
We haven't yet tried
At Tue, 6 Jan 2009 11:29:24 +0100, "felix winkelmann" wrote:
> On Mon, Jan 5, 2009 at 6:58 PM, John Cowan wrote:
> > felix winkelmann scripsit:
> >
> >> The handling of backslashes as escaping characters is not the problem,
> >> it seems. If I pass this string (verbatim, just like it is printed he
AT&T Research, USA
Cormac Flanagan University of California at Santa Cruz, USA
Matthew Flatt University of Utah, USA
Matthew Fluet Toyota Technological Institute at Chicago, USA
Daniel Friedman Indiana University, USA
Andy Gill Universit
For what it's worth,
http://svn.plt-scheme.org/plt/trunk/src/mzscheme/sconfig.h
contains a number of platform-specific, FP-related declarations that
reflect how well different libms work in our experience. For example,
POW_HANDLES_INF_CORRECTLY is declared for NetBSD, but not for Linux.
I doub
At Tue, 28 Apr 2009 13:43:38 -0400, John Cowan wrote:
> Matthew Flatt scripsit:
>
> > For what it's worth,
> >
> > http://svn.plt-scheme.org/plt/trunk/src/mzscheme/sconfig.h
> >
> > contains a number of platform-specific, FP-related declarations that
At Mon, 22 Nov 2010 23:02:29 +0100, Peter Bex wrote:
> I think we'll finally see a proper rigorous treatment of keywords [...]
Eli and I wrote down our assessment of DSSSL and related keyword
systems here (see section 7):
"Keyword and Optional Arguments in PLT Scheme"
Flatt and Barzilay.
Schem
11 matches
Mail list logo