(We apologize for multiples copies)
==
SECOND CALL FOR PAPERS
WADT 2012
21st International Workshop on Algebraic Development Techniques
http://maude.sip.ucm.es/wadt2012
June 7-10, 2012, Salamanca, Spain
[ We apologise for multiple copies of this message! ]
===
C A L L F O R P A P E R S
9th International Workshop on
Web Services and Formal Methods (WS-FM'12)
Hi everyone,
This is time for a second release candidate for TypeRex, our new
OCaml development environment for Emacs. We want to thank the many early
adopters, for their useful feedback and encouraging comments.
The new version is available on TypeRex website at:
http://www.typerex.org/
It
Hello,
interesting language for numerical
applications. It has a lot of nice
features and also looks very performant...
http://julialang.org/
http://julialang.org/blog/2012/02/why-we-created-julia/
Ciao,
Oliver
P.S.: I'm missing OCaml-benchmarks in the list there...
--
Caml-list
On Fri, Mar 02, 2012 at 04:57:30PM +0100, oliver wrote:
Hello,
interesting language for numerical
applications. It has a lot of nice
features and also looks very performant...
http://julialang.org/
http://julialang.org/blog/2012/02/why-we-created-julia/
[...]
Also interesting
Le 22/02/2012 19:10, Tiphaine Turpin a écrit :
Hi everyone,
We are pleased to announce the first release candidate of TypeRex, a new
OCaml development environment, developed by OCamlPro and Inria Saclay.
This version of TypeRex only integrates with Emacs and brings a
collection of new features
Looks interesting! I'd have liked to see a comparison with Lush
[http://lush.sourceforge.net/]
martin
On Fri, Mar 2, 2012 at 7:57 AM, oliver oli...@first.in-berlin.de wrote:
Hello,
interesting language for numerical
applications. It has a lot of nice
features and also looks very
Hello ocamlers,
the following behavior puzzle me. The typing of this fragment:
class virtual ['a, 'b] a = object end
class virtual ['b] b =
object
inherit ['b, 'b] a
end
gives
class virtual ['a, 'b] a : object end
class virtual ['a] b : object end
but the the