polyml  

Messages by Thread

• • Fwd: Re: [polyml] Documentation of Poly/ML opcode Yue Li
• [polyml] CUFP 2010 in Baltimore in September -- Call for Participation Stephen Weeks
• [polyml] PolyML.print/makestring vs. toplevel pretty printing Makarius
  • Re: [polyml] PolyML.print/makestring vs. toplevel pretty printing David Matthews
  • Re: [polyml] PolyML.print/makestring vs. toplevel pretty printing Makarius
• [polyml] Profiling on Mac OS X David Matthews
• [polyml] PASCO 2010: Extended submission deadline Daniel de Angelis Cordeiro
• [polyml] PASCO 2010: News and 2nd Call for Papers Daniel de Angelis Cordeiro
• [polyml] segmentation fault during build Ramana Kumar
  • Re: [polyml] segmentation fault during build David Matthews
  • Re: [polyml] segmentation fault during build Makarius
  • Re: [polyml] segmentation fault during build David Matthews
  • Re: [polyml] segmentation fault during build Ramana Kumar
• [polyml] run-time cost of single-constructor datatypes Brian Huffman
  • Re: [polyml] run-time cost of single-constructor datatypes David Matthews
  • Re: [polyml] run-time cost of single-constructor datatypes Brian Huffman
  • Re: [polyml] run-time cost of single-constructor datatypes David Matthews
• [polyml] calling PolyML as a library Lucas Dixon
• [polyml] Workshop on ML 2010 - Call for Content Matthew Fluet
  • [polyml] Workshop on ML 2010 - Call for Content Matthew Fluet
• [polyml] Code examples in Parallel Poly/ML and Isabelle/ML paper Yue Li
  • Re: [polyml] Code examples in Parallel Poly/ML and Isabelle/ML paper Makarius
  • Re: [polyml] Code examples in Parallel Poly/ML and Isabelle/ML paper Makarius
  • Re: [polyml] Code examples in Parallel Poly/ML and Isabelle/ML paper Yue Li
  • Re: [polyml] Code examples in Parallel Poly/ML and Isabelle/ML paper Yue Li
• [polyml] eval (or use-ing from a string) Ramana Kumar
  • Re: [polyml] eval (or use-ing from a string) David Matthews
• [polyml] Inspecting structures Ramana Kumar
  • Re: [polyml] Inspecting structures David Matthews
  • Re: [polyml] Inspecting structures Ramana Kumar
  • Re: [polyml] Inspecting structures David Matthews
  • Re: [polyml] Inspecting structures Ramana Kumar
  • Re: [polyml] Inspecting structures David Matthews
• [polyml] polyml display integer in hex format? Lu Zhao
  • Re: [polyml] polyml display integer in hex format? Gergely Buday
  • Re: [polyml] polyml display integer in hex format? Lu Zhao
  • Re: [polyml] polyml display integer in hex format? David Matthews
  • Re: [polyml] polyml display integer in hex format? Tjark Weber
  • Re: [polyml] polyml display integer in hex format? Lu Zhao
  • Re: [polyml] polyml display integer in hex format? Tjark Weber
  • Re: [polyml] polyml display integer in hex format? Lu Zhao
• [polyml] IDE for PolyML 5.3 Peter Bader
  • Re: [polyml] IDE for PolyML 5.3 David Matthews
• [polyml] Windows Command Line Version Peter Bader
  • Re: [polyml] Windows Command Line Version David Matthews
• [polyml] problem with polyml on ubuntu on virtualbox jjduan
  • Re: [polyml] problem with polyml on ubuntu on virtualbox Michael Norrish
• [polyml] Pretty-printing in version 5.3 Rob Arthan
  • Re: [polyml] Pretty-printing in version 5.3 David Matthews
  • Re: [polyml] Pretty-printing in version 5.3 Rob Arthan
  • Re: [polyml] Pretty-printing in version 5.3 David Matthews
  • Re: [polyml] Pretty-printing in version 5.3 Rob Arthan
  • Re: [polyml] Pretty-printing in version 5.3 David Matthews
  • Re: [polyml] Pretty-printing in version 5.3 Rob Arthan
  • Re: [polyml] Pretty-printing in version 5.3 Makarius
• [polyml] Fixes to 5.3 David Matthews
• [polyml] Motif Poly/ML configuration Issues(Errors) Peisen Yang
  • [polyml] Motif Poly/ML configuration Issues(Errors) Peisen Yang
  • Re: [polyml] Motif Poly/ML configuration Issues(Errors) David Matthews
• [polyml] Efficient parallel programming in Poly/ML -- continued Makarius
  • Re: [polyml] Efficient parallel programming in Poly/ML -- continued David Matthews
  • Re: [polyml] Efficient parallel programming in Poly/ML -- continued Jon Harrop
• Re: [polyml] Poly/ML Motif Installation issues David Matthews
• [polyml] Release of version 0.4 of the ULTRA type error slicer for SML rahli vincent
• [polyml] Re: profiling details Andreas Schropp
  • Re: [polyml] Re: profiling details David Matthews
• [polyml] profiling details Andreas Schropp
  • Re: [polyml] profiling details David Matthews
• [polyml] Version 5.3 Release David Matthews
• [polyml] Latest SVN version Rob Arthan
  • Re: [polyml] Latest SVN version David Matthews
  • Re: [polyml] Latest SVN version Rob Arthan
  • Re: [polyml] Latest SVN version David Matthews
  • Re: [polyml] Latest SVN version Rob Arthan
  • Re: [polyml] Latest SVN version David Matthews
• [polyml] Version 5.3 Release Candidate 2 David Matthews
• [polyml] eqtype analysis bug in r902 Michael Norrish
  • Re: [polyml] eqtype analysis bug in r902 David Matthews
• [polyml] Sparc support David Matthews
• [polyml] exception SysErr Phil Clayton
  • Re: [polyml] exception SysErr David Matthews
• [polyml] Revision 885 does not build under Snow Leopard Peter Vincent Homeier
  • [polyml] Re: Revision 885 does not build under Snow Leopard Peter Vincent Homeier
  • Re: [polyml] Revision 885 does not build under Snow Leopard David Matthews
  • Re: [polyml] Revision 885 does not build under Snow Leopard Peter Vincent Homeier
• [polyml] bug compiling MLton sources with Poly/ML Matthew Fluet
  • Re: [polyml] bug compiling MLton sources with Poly/ML David Matthews
• [polyml] bugs with datatype replication Matthew Fluet
  • Re: [polyml] bugs with datatype replication David Matthews
  • Re: [polyml] bugs with datatype replication Rob Arthan
  • Re: [polyml] bugs with datatype replication David Matthews
  • Re: [polyml] bugs with datatype replication Rob Arthan
  • [polyml] Re: X-Windows on Snow Leopard (was: bugs with datatype replication) David Matthews
  • [polyml] For the record Rob Arthan
  • Re: [polyml] Re: X-Windows on Snow Leopard David Matthews
  • Re: [polyml] Re: X-Windows on Snow Leopard Rob Arthan
  • Re: [polyml] Re: X-Windows on Snow Leopard David Matthews
• [polyml] "make compiler" fails on DarwinPPC Andras Pahi
  • Re: [polyml] "make compiler" fails on DarwinPPC David Matthews
• [polyml] Approaching release of 5.3 David Matthews
• [polyml] Poly/ML revision 868 not building under Snow Leopard Peter Vincent Homeier
  • Re: [polyml] Poly/ML revision 868 not building under Snow Leopard David Matthews
  • Re: [polyml] Poly/ML revision 868 not building under Snow Leopard Peter Vincent Homeier
• [polyml] Re: Suppressing pretty-printing David Matthews
  • Re: [polyml] Re: Suppressing pretty-printing Makarius
  • Re: [polyml] Re: Suppressing pretty-printing David Matthews
  • Re: [polyml] Re: Suppressing pretty-printing Makarius
  • Re: [polyml] Re: Suppressing pretty-printing Makarius
  • Re: [polyml] Re: Suppressing pretty-printing David Matthews
• [polyml] InternalError: Equality for function raised Rob Arthan
  • Re: [polyml] InternalError: Equality for function raised David Matthews
• [Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6] rda
  • Re: [Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6] Makarius
  • Re: [Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6] David Matthews
  • [polyml] More problems building Poly/ML on MacOS X 10.6] Rob Arthan
  • Re: [Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6] Rob Arthan
  • [polyml] Re: [Building Poly/ML on MacOS X 10.6] David Matthews
  • [polyml] Re: [Building Poly/ML on MacOS X 10.6] rda
  • Re: [polyml] Re: [Building Poly/ML on MacOS X 10.6] David Matthews
  • [polyml] printTypesWithStructureName David Topham
  • Re: [polyml] printTypesWithStructureName David Matthews
  • Re: [polyml] printTypesWithStructureName David Matthews
  • Re: [polyml] Re: [Building Poly/ML on MacOS X 10.6] Rob Arthan
• [polyml] Re: Poly/ML does not build under Snow Leopard David Matthews
• [polyml] Building Poly/ML on MacOS X 10.6 rda
  • Re: [polyml] Building Poly/ML on MacOS X 10.6 David Matthews
  • Re: [polyml] Building Poly/ML on MacOS X 10.6 rda
  • Re: [polyml] Building Poly/ML on MacOS X 10.6 David Matthews
  • Re: [polyml] Building Poly/ML on MacOS X 10.6 David Matthews
  • Re: [polyml] Building Poly/ML on MacOS X 10.6 Peter Vincent Homeier
• [polyml] Poly/ML on Windows (MinGW/MSYS port) Gabriel Dos Reis
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) David Matthews
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) Gabriel Dos Reis
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) David Matthews
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) Gabriel Dos Reis
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) David Matthews
  • Re: [polyml] Poly/ML on Windows (MinGW/MSYS port) Gabriel Dos Reis
• [polyml] Pretty-printer seems to loop Rob Arthan
  • Re: [polyml] Pretty-printer seems to loop David Matthews
• [polyml] Detecting unreferenced identifiers David Matthews
  • Re: [polyml] Detecting unreferenced identifiers Rob Arthan
  • Re: [polyml] Detecting unreferenced identifiers David Matthews
  • Re: [polyml] Detecting unreferenced identifiers Rob Arthan
  • Re: [polyml] Detecting unreferenced identifiers Rob Arthan
  • Re: [polyml] Detecting unreferenced identifiers Dave Berry
  • Re: [polyml] Detecting unreferenced identifiers David Matthews
• [polyml] Re: PolyML application news Lucas Dixon
• [polyml] Poly/ML build fails on cygwin rda
  • Re: [polyml] Poly/ML build fails on cygwin David Matthews
  • Re: [polyml] Poly/ML build fails on cygwin rda
  • Re: [polyml] Poly/ML build fails on cygwin David Matthews
  • Re: [polyml] Poly/ML build fails on cygwin rda
• [polyml] Re: Segmentation fault David Matthews
• [polyml] Out of memory when saving state Philip Clayton
  • Re: [polyml] Out of memory when saving state David Matthews
  • Re: [polyml] Out of memory when saving state Philip Clayton
• [polyml] Deferred signature copying David Matthews
• [polyml] Performance problems with saving and loading state Rob Arthan
  • Re: [polyml] Performance problems with saving and loading state David Matthews
  • Re: [polyml] Performance problems with saving and loading state Rob Arthan
  • Re: [polyml] Performance problems with saving and loading state David Matthews
  • Re: [polyml] Performance problems with saving and loading state David Matthews
  • Re: [polyml] Performance problems with saving and loading state Philip Clayton
• [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? David Matthews
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? David Matthews
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? David Matthews
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? David Matthews
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? Robert Roessler
  • Re: [polyml] FFI and C++? David Matthews
  • Re: [polyml] FFI and C++? Robert Roessler
• [polyml] Syntax of fun bindings and constructor application David Matthews
• [polyml] New Scintilla plugin for Standard ML Robert Roessler
  • Re: [polyml] New Scintilla plugin for Standard ML Robert Roessler
  • Re: [polyml] New Scintilla plugin for Standard ML David Matthews
• [polyml] Strange syntax in PolyML Code Dave Thayer
  • Re: [polyml] Strange syntax in PolyML Code Steven Obua
  • Re: [polyml] Strange syntax in PolyML Code Makarius
  • [polyml] Efficient parallel programming in Poly/ML Makarius
• [polyml] Trac and CVS on SourceForge David Matthews
• [polyml] Building on Vista x64 with VS 2008 Robert Roessler
  • Re: [polyml] Building on Vista x64 with VS 2008 David Matthews
  • Re: [polyml] Building on Vista x64 with VS 2008 Robert Roessler
  • Re: [polyml] Building on Vista x64 with VS 2008 Robert Roessler
  • Re: [polyml] Building on Vista x64 with VS 2008 David Matthews
  • Re: [polyml] Building on Vista x64 with VS 2008 Makarius
  • Re: [polyml] IDEs (was Building on Vista x64 with VS 2008) David Matthews
  • Re: [polyml] IDEs (was Building on Vista x64 with VS 2008) Makarius
  • Re: [polyml] Building on Vista x64 with VS 2008 David Matthews
  • Re: [polyml] Building on Vista x64 with VS 2008 David Matthews
  • Re: [polyml] Building on Vista x64 with VS 2008 Robert Roessler
• [polyml] PolyML Users Lucas Dixon
• [polyml] Supporting bit shifting operations on integers Johannes Hölzl
• [polyml] regular expression support? Lu Zhao

• Earlier messages
• Later messages