The Heterogeneous Tool Set supports HasCASL for specification
of Haskell programs, and uses Isabelle for proving
http://www.dfki.de/sks/hets
Moreover, the Programatica project has an expressive logic
called P-logic, and tools supporting it:
http://programatica.cs.pdx.edu/
Best, Till
Am
(Germany)
Till Mossakowski (Germany) [chair]
Fernando Orejas (Spain)
Francesco Parisi-Presicce(Italy)
Andrzej Tarlecki (Poland)
PROCEEDINGS
The abstracts accepted for presentation will be available at the
workshop. Refereed LNCS proceedings
Safe and Secure
Cognitive Systems.
WADT Steering Committee:
Michel Bidoit(France)
Andrea Corradini (Italy)
Jos\'e Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-J\org Kreowski (Germany)
Till Mossakowski (Germany
Sean Leather schrieb:
Like this?
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ListLike
Indeed, a class StringLike is included there as well.
Why not take or improve that one?
Till
___
Haskell mailing list
Haskell@haskell.org
, a whole module) to use strict evaluation only, without
the need to manually insert seq and foldl' etc. everywhere (or even to
change the structure of the code completely).
Till Mossakowski
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org
of the SFB/TR 8 can be
found at www.sfbtr8.uni-bremen.de
The SFB/TR 8 is funded by the German Research Foundation (DFG).
Please address questions about the position and send your application
(preferably by email) to:
Dr. Till Mossakowski [EMAIL PROTECTED] SFB/TR 8 - Spatial
Cognition Universität
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
--
Till MossakowskiOffice: Phone +49-421-218-64226
DFKI Lab Bremen CartesiumFax +49-421-218-9864226
Robert-Hooke-Str. 5 Enrique-Schmidt-Str. [EMAIL PROTECTED]
D-28359
Huffman's work, but turned
up little else.
Cheers,
Gerwin
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http
functional programming
http://www4.in.tum.de/~nipkow/LNCS2283/
Also, P-logic and the Programatica tool should be of interest:
ftp://ftp.cse.ogi.edu/pub/pacsoft/papers/Plogic.pdf
http://www.cse.ogi.edu/PacSoft/projects/programatica/
Greetings,
Till
--
Till Mossakowski Phone +49-421
for a system of Haskell documentation
pages. Perhaps it is not too difficult to add this feature for
a MediaWiki expert?
Till Mossakowski
Andrea Sassanelli wrote:
Sorry to intrude myslf like this in the conversation.
First of all, let me present myself: My name is Andrea Sassanelli, and
I'm Italian. I
Sebastian Sylvan wrote:
On 8/4/05, Till Mossakowski [EMAIL PROTECTED] wrote:
Remi Turk wrote:
MonadState needs multi-parameter type classes, State and StateT
don't. And ST needs rank-2 types (or at least one rank-2
constant) and, to be implemented _efficiently_, also needs
something like
enough
(i was trying to create sorting routine. afair, it was an insert sort)
That is weird, because in base/GHC/IOBase.lhs, IOArray is constructed
on top of STArray:
newtype IOArray i e = IOArray (STArray RealWorld i e)
But maybe ghc has some special treatment of IOArray.
Till
--
Till
.
Remi We're probably agreeing 99.9% anyway Turk
Yes, of course.
Till
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
to IORefs
and IOArrays). The only price is that you need rank-2 polymorphism
and new language primitives for creating, reading and writing
references. But using these primitives is much better than using
unsafePerformIO - the latter entails a lot of harmful things.
--
Till Mossakowski
means what in Haskell is called (basic) type. Hence sort and
Sorte perhaps should be avoided entirely.
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http
, whereas (y id) can. BTW, this
function is usually named 'twice'.
Best regards,
Pedro
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
) is there a translation of Haskell without polymorphism into FPC?
It should be rather straightforward, but is it written down somewhere?
(2) a translation of Haskell with polymorphism, polymorphic recursion,
higher-rank polymorphism, into (some extension of) system F?
Till Mossakowski
--
Till
if
defined using the 'newtype' directive should have no run-time cost.
Keean.
--
Till Mossakowski Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen [EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
Hi,
is this still interesting for you?
(it has been produced with a rather large source tree...)
Till Mossakowski
GUI/ConvertDevToAbstractGraph.hs:453:
Warning: Pattern match(es) are overlapped
In a case alternative: otherwise - ...
ghc-6.0: panic! (the `impossible' happened, GHC
alternative: HetEnv i1 a1
What I want is that the coercion is successful iff there is an
instance of StaticAnalysis extending the given instance of
Syntax.
Till
--
Till MossakowskiPhone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen
- it is about type class constraints).
Till
--
Till MossakowskiPhone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen[EMAIL PROTECTED]
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
) =
Category id object morphism | id - object, id - morphism
... ^^
- but ghci 5.02.2 does not complain. Why?
Till Mossakowski
--
Till MossakowskiPhone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen
(i.e. coexistence
and communication of several logics, coded as instances of the
multiparameter class).
A paper describing the implementation is not available yet,
but in preparation.
Till Mossakowski
are there any papers/webpages/implementations/etc. of using multiparameter
classes in a generic
Hello,
I have seen that there are several Haskell libraries
for cgi scripts and the like. Is there also a possibiliy
to deal with sockets and firewalls?
Till Mossakowski
--
Till MossakowskiPhone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University
25 matches
Mail list logo
