polyml  

Messages by Date

• 2011/10/03 Re: [polyml] any way to turn off the Poly/ML system prompt? Hong Feng
• 2011/10/03 Re: [polyml] any way to turn off the Poly/ML system prompt? Rob Arthan
• 2011/10/03 [polyml] any way to turn off the Poly/ML system prompt? Hong Feng
• 2011/10/01 Re: [polyml] local specifications in signatures Rob Arthan
• 2011/09/30 [polyml] local specifications in signatures Ramana Kumar
• 2011/09/26 Re: [polyml] Dud exception traces David Matthews
• 2011/09/25 Re: [polyml] Dud exception traces Aleks Kissinger
• 2011/09/25 Re: [polyml] Dud exception traces David Matthews
• 2011/09/24 [polyml] Dud exception traces Aleks Kissinger
• 2011/09/24 RE: [polyml] Memory consumption profiling in PolyML Thomas Sewell
• 2011/09/23 Re: [polyml] Memory consumption profiling in PolyML David Matthews
• 2011/09/22 Re: [polyml] Memory consumption profiling in PolyML Thomas Sewell
• 2011/09/22 [polyml] Memory consumption profiling in PolyML Thomas Sewell
• 2011/09/03 [polyml] Pretty printing of functor arguments Phil Clayton
• 2011/08/20 Re: [polyml] Order of evaluation of arguments to a function Rob Arthan
• 2011/08/18 Re: [polyml] Order of evaluation of arguments to a function Jeremy Dawson
• 2011/08/18 [polyml] Re: [MLton-user] Order of evaluation of arguments to a function Ivan Tomac
• 2011/08/18 Re: [polyml] Order of evaluation of arguments to a function David Matthews
• 2011/08/18 Re: [polyml] Order of evaluation of arguments to a function Alex Merry
• 2011/08/18 Re: [polyml] Order of evaluation of arguments to a function Ramana Kumar
• 2011/08/18 Re: [polyml] Order of evaluation of arguments to a function Alex Merry
• 2011/08/18 [polyml] Order of evaluation of arguments to a function Ivan Tomac
• 2011/08/12 [polyml] PolyML with OS X 10.7 Lion? Peter Vincent Homeier
• 2011/07/24 [polyml] Experiences with Lion Aleks Kissinger
• 2011/07/14 Re: [polyml] Bug fixes and 5.4.1 Gio
• 2011/07/14 [polyml] Bug fixes and 5.4.1 David Matthews
• 2011/07/07 Re: [polyml] measuring/profiling memory consumption David Matthews
• 2011/07/07 [polyml] measuring/profiling memory consumption Gerwin Klein
• 2011/07/01 Re: [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
• 2011/07/01 Re: [polyml] Assertion `val.IsDataPtr()' failed David Matthews
• 2011/07/01 Re: [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
• 2011/07/01 Re: [polyml] Assertion `val.IsDataPtr()' failed David Matthews
• 2011/07/01 [polyml] Assertion `val.IsDataPtr()' failed Alex Merry
• 2011/06/28 Re: [polyml] Repeated ascriptions David Matthews
• 2011/06/27 [polyml] Repeated ascriptions Aleks Kissinger
• 2011/06/23 Re: [polyml] Nice parallelisation examples in poly/ML Makarius
• 2011/06/21 Re: [polyml] Nice parallelisation examples in poly/ML Makarius
• 2011/06/21 Re: [polyml] Nice parallelisation examples in poly/ML Aleks Kissinger
• 2011/06/21 Re: [polyml] Nice parallelisation examples in poly/ML Makarius
• 2011/06/21 [polyml] Nice parallelisation examples in poly/ML Aleks Kissinger
• 2011/06/17 Re: [polyml] IEEE reals Matthew Fluet
• 2011/06/16 [polyml] IEEE reals David Matthews
• 2011/06/10 Re: [polyml] Thread Status Flags David Matthews
• 2011/06/10 [polyml] Thread Status Flags Dave Thayer
• 2011/06/10 Re: [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation Dave Thayer
• 2011/06/07 Re: [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation David Matthews
• 2011/06/07 Re: [polyml] Memory leak? Poly/ML SVN 1307 David Matthews
• 2011/06/07 [polyml] Memory leak? Poly/ML SVN 1307 Aleks Kissinger
• 2011/06/06 [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation Dave Thayer
• 2011/04/13 [polyml] Re: [MLton] bug to do with as-binding masking datatype constructor name Matthew Fluet
• 2011/04/13 [polyml] Re: [MLton] bug to do with as-binding masking datatype constructor name Matthew Fluet
• 2011/04/12 [polyml] bug to do with as-binding masking datatype constructor name Michael Norrish
• 2011/03/15 Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Yue Li
• 2011/03/15 Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Makarius
• 2011/03/15 Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree David Matthews
• 2011/03/14 Re: [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Lucas Dixon
• 2011/03/12 [polyml] Re: creating heterogeneous array in the Poly/ML codetree David Matthews
• 2011/03/10 [polyml] Fwd: creating heterogeneous array in the Poly/ML codetree Yue Li
• 2011/03/03 Re: [polyml] Infinite loop when forcing GC after creating a weak pointer David Matthews
• 2011/03/02 [polyml] Infinite loop when forcing GC after creating a weak pointer Ivan Tomac
• 2011/03/01 [polyml] Re: Poly/ML codetree generation Yue Li
• 2011/03/01 [polyml] Re: Poly/ML codetree generation David Matthews
• 2011/02/28 [polyml] Re: Poly/ML codetree generation Yue Li
• 2011/02/28 [polyml] Re: Poly/ML codetree generation David Matthews
• 2011/02/25 [polyml] Poly/ML codetree generation Yue Li
• 2011/02/24 [polyml] Type abbreviations and pretty-printing of function types Rob Arthan
• 2011/02/21 Re: [polyml] InternalError: jump too large raised while compiling David Matthews
• 2011/02/19 Re: [polyml] Problem with Poly/ML on Cygwin on Vista David Matthews
• 2011/02/19 Re: [polyml] InternalError: jump too large raised while compiling David Matthews
• 2011/02/18 [polyml] InternalError: jump too large raised while compiling Andreas Lochbihler
• 2011/02/17 Re: [polyml] Building MS Windows applications Rob Arthan
• 2011/02/17 [polyml] Problem with Poly/ML on Cygwin on Vista Rob Arthan
• 2011/02/17 Re: [polyml] Building MS Windows applications David Matthews
• 2011/02/17 Re: [polyml] HTTP protocol socket code David Matthews
• 2011/02/16 Re: [polyml] HTTP protocol socket code Makarius
• 2011/02/16 [polyml] HTTP protocol socket code Lucas Dixon
• 2011/02/16 [polyml] Building MS Windows applications Rob Arthan
• 2011/02/09 [polyml] Re: On understanding Poly/ML function definition IR Yue Li
• 2011/02/09 [polyml] Isabelle/ML IDE based on jEdit Makarius
• 2011/02/09 [polyml] Re: On understanding Poly/ML function definition IR David Matthews
• 2011/01/27 Re: [polyml] CInterface problem on SPARC/Solaris David Matthews
• 2011/01/26 Re: [polyml] CInterface problem on SPARC/Solaris mmoel
• 2011/01/26 Re: [polyml] CInterface problem on SPARC/Solaris David Matthews
• 2011/01/26 [polyml] CInterface problem on SPARC/Solaris mmoel
• 2011/01/18 [polyml] Poly/ML 32-bit and memory usage Lars Noschinski
• 2011/01/17 Re: [polyml] exit code 89 with r1259 David Matthews
• 2011/01/14 [polyml] exit code 89 with r1259 Ramana Kumar
• 2011/01/13 [polyml] Release Announcement of PolyChrome 0.3 Lucas Dixon
• 2011/01/12 Re: [polyml] Socket.accept on MacOS causes 100% processor usage Lucas Dixon
• 2011/01/12 Re: [polyml] Socket.accept on MacOS causes 100% processor usage David Matthews
• 2011/01/11 [polyml] Socket.accept on MacOS causes 100% processor usage Lucas Dixon
• 2010/11/20 Re: [polyml] redirecting stdout elsewhere Rob Arthan
• 2010/11/19 Re: [polyml] redirecting stdout elsewhere Makarius
• 2010/11/14 Re: [polyml] redirecting stdout elsewhere Rob Arthan
• 2010/11/13 Re: [polyml] redirecting stdout elsewhere Lucas Dixon
• 2010/11/12 Re: [polyml] redirecting stdout elsewhere Matthew Fluet
• 2010/11/12 [polyml] redirecting stdout elsewhere Lucas Dixon
• 2010/11/12 Re: [polyml] Strange error message on declaration of datatypes Florian Haftmann
• 2010/11/12 [polyml] Strange error message on declaration of datatypes Florian Haftmann
• 2010/10/25 Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB David Matthews
• 2010/10/24 Re: [polyml] polyml error Jeremy Dawson
• 2010/10/23 Re: [polyml] polyml error Petter Urkedal
• 2010/10/22 Re: [polyml] polyml error Jeremy Dawson
• 2010/10/20 Re: [polyml] polyml error Florian Weimer
• 2010/10/20 [polyml] polyml error Jeremy Dawson
• 2010/10/11 Re: [polyml] Polyml and binutils Gold (link failure) David Matthews
• 2010/10/10 [polyml] Polyml and binutils Gold (link failure) Basile Starynkevitch
• 2010/10/09 Re: [polyml] multiple type parameters in a functor Florian Weimer
• 2010/10/08 [polyml] multiple type parameters in a functor Lu Zhao
• 2010/09/21 Re: [polyml] Low-level C FFI: call_sym or call_sym_and_convert? David Matthews
• 2010/09/19 Re: [polyml] Low-level C FFI: call_sym or call_sym_and_convert? Phil Clayton
• 2010/09/19 [polyml] Low-level C FFI: call_sym or call_sym_and_convert? Phil Clayton
• 2010/09/16 Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB Tjark Weber
• 2010/09/16 Re: [polyml] St9bad_alloc with Memory Limits near 2^n GB David Matthews
• 2010/09/15 [polyml] St9bad_alloc with Memory Limits near 2^n GB Tjark Weber
• 2010/09/14 [polyml] Re: Questions on the code trees of functors David Matthews
• 2010/09/12 [polyml] Questions on the code trees of functors Yue Li
• 2010/09/08 Re: [polyml] Pretty-printing of infix constructors Rob Arthan
• 2010/09/08 Re: [polyml] Pretty-printing of infix constructors Makarius
• 2010/09/07 Re: [polyml] Names in initial top-level environment David Matthews
• 2010/09/07 [polyml] Names in initial top-level environment Phil Clayton
• 2010/09/06 Re: [polyml] Pretty-printing of infix constructors David Matthews
• 2010/09/05 [polyml] Pretty-printing of infix constructors Rob Arthan
• 2010/09/05 Re: [polyml] Poly/ML 5.4 Released David Matthews
• 2010/09/05 Re: [polyml] Interfaces for printing IR and generated code Yue Li
• 2010/09/03 Re: [polyml] Interfaces for printing IR and generated code David Matthews
• 2010/09/03 [polyml] Poly/ML 5.4 Released David Matthews
• 2010/09/02 Re: [polyml] Interfaces for printing IR and generated code Yue Li
• 2010/09/02 Re: [polyml] Interfaces for printing IR and generated code David Matthews
• 2010/09/02 Re: [polyml] Interfaces for printing IR and generated code Yue Li
• 2010/09/01 Re: [polyml] function for input from stdin David Matthews
• 2010/09/01 [polyml] function for input from stdin Johan
• 2010/09/01 [polyml] function for input from stdin Johan
• 2010/08/31 Re: [polyml] PolyML memory parameters David Matthews
• 2010/08/30 [polyml] PolyML memory parameters Lucas Dixon
• 2010/08/25 [polyml] Source code overview David Matthews
• 2010/08/23 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/23 Re: [polyml] Poly/ML 5.4 Makarius
• 2010/08/23 Re: [polyml] Poly/ML 5.4 Makarius
• 2010/08/22 Re: [polyml] Interfaces for printing IR and generated code Yue Li
• 2010/08/22 Re: [polyml] Interfaces for printing IR and generated code David Matthews
• 2010/08/22 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/21 [polyml] Interfaces for printing IR and generated code Yue Li
• 2010/08/21 Re: [polyml] Poly/ML 5.4 Rob Arthan
• 2010/08/20 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/19 Re: [polyml] Poly/ML 5.4 Matthew Fluet
• 2010/08/19 Re: [polyml] Poly/ML 5.4 Rob Arthan
• 2010/08/19 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/19 [polyml] ULTRA type error slicer for SML: version 0.6 and TECHNICAL REPORT rahli vincent
• 2010/08/19 Re: [polyml] Poly/ML 5.4 Matthew Fluet
• 2010/08/19 Re: [polyml] Poly/ML 5.4 Matthew Fluet
• 2010/08/19 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/17 Re: [polyml] Poly/ML 5.4 Matthew Fluet
• 2010/08/14 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/14 Re: [polyml] Poly/ML 5.4 David Matthews
• 2010/08/14 Re: [polyml] Poly/ML 5.4 Rob Arthan
• 2010/08/12 [polyml] Poly/ML 5.4 David Matthews
• 2010/08/10 [polyml] Workshop on ML 2010 - Call for Participation Matthew Fluet
• 2010/07/27 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
• 2010/07/26 Re: [polyml] insufficient memory exception in polyml Makarius
• 2010/07/26 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Phil Clayton
• 2010/07/26 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
• 2010/07/26 [polyml] SVN vs. Poly/ML 5.4 Makarius
• 2010/07/26 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
• 2010/07/26 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
• 2010/07/26 Re: [polyml] Fwd: [isabelle] insufficient memory exception in polyml David Matthews
• 2010/07/24 [polyml] Fwd: [isabelle] insufficient memory exception in polyml Gerwin Klein
• 2010/07/13 [polyml] PASCO 2010: Programming Challenge Daniel de Angelis Cordeiro
• 2010/06/24 [polyml] Workshop on ML 2010 - Extended Submission Deadline Matthew Fluet
• 2010/06/14 Re: [polyml] Pretty printing singleton tuples David Matthews
• 2010/06/12 [polyml] Pretty printing singleton tuples Phil Clayton
• 2010/06/10 [polyml] Re: [MLton] SML systems disagreeing on Date.localOffset Matthew Fluet
• 2010/06/09 Re: [polyml] Date.fromTimeLocal off by a day David Matthews
• 2010/06/08 [polyml] SML systems disagreeing on Date.localOffset Michael Norrish
• 2010/06/08 [polyml] Date.fromTimeLocal off by a day Michael Norrish
• 2010/06/07 [polyml] PASCO 2010: Call for Participation Daniel de Angelis Cordeiro
• 2010/06/06 Re: [polyml] configure script problem on OS X Philip Weaver
• 2010/06/06 Re: [polyml] configure script problem on OS X Philip Weaver
• 2010/06/06 Re: [polyml] configure script problem on OS X David Matthews
• 2010/06/04 [polyml] Release of version 0.5 of the ULTRA type error slicer for SML rahli vincent
• 2010/06/01 [polyml] configure script problem on OS X Philip Weaver
• 2010/05/27 Re: [polyml] Poly/ML build fails on Fedora 12 David Matthews
• 2010/05/26 [polyml] Poly/ML build fails on Fedora 12 Rob Arthan
• 2010/05/23 [polyml] Workshop on ML 2010 - Call for Content Matthew Fluet
• 2010/05/19 Re: [polyml] Poly/ML interpreter's opcodes Yue Li
• 2010/05/19 Re: [polyml] Poly/ML interpreter's opcodes David Matthews
• 2010/05/18 [polyml] Poly/ML interpreter's opcodes Yue Li
• 2010/05/14 Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
• 2010/05/14 Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
• 2010/05/13 Re: [polyml] Poly/ML exit codes David Matthews
• 2010/05/13 Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
• 2010/05/12 Re: [polyml] Poly/ML exit codes Michael Norrish
• 2010/05/12 [polyml] Poly/ML exit codes Michael Norrish
• 2010/05/12 Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
• 2010/05/12 Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
• 2010/05/11 Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
• 2010/05/11 Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews
• 2010/05/11 Re: [polyml] 5.3 variability in Posix.Process.exec Makarius
• 2010/05/11 Re: [polyml] 5.3 variability in Posix.Process.exec Michael Norrish
• 2010/05/11 Re: [polyml] 5.3 variability in Posix.Process.exec David Matthews

• Earlier messages
• Later messages