search for: milner

...like Michael Rutter's key expired today: http://keyserver.ubuntu.com:11371/pks/lookup?op=vindex&fingerprint=on&search=0x51716619E084DAB9 I thought it'd be better etiquette to post here before emailing Dr. Rutter directly, in case I've overlooked something. All the best, John Milner

Hi folks, I am pleased to announce that Mike Milner and I have finished the Ruport Book. We have published it under our own company (Rinara Press LLC) through Lulu. With the help of the Ruport community, we''ve refined the book over the last few weeks to meet the needs of our users. We think it will be a great help to anyone trying to lear...

On 10/18/2015 01:26 PM, John Milner wrote: > Hello, > > I was following the instructions at > https://cran.r-project.org/bin/linux/ubuntu/#secure-apt but > encountered this message upon apt-get update: > GPG error: http://cran.rstudio.com trusty/ Release: The following > signatures were invalid: KEYEXPIRED... &gt...

...C interface to C++ code using Clang's LibTooling](http://samanbarghi.com/blog/2016/12/06/generate-c-interface-from-c-source-code-using-clang-libtooling/). [Psyche-c](http://cuda.dcc.ufmg.br/psyche-c/) is an interesting project, providing a compiler for incomplete C code. It includes a Hindley-Milner type inference engine to reconstruct missing type information. Slides are [now available](https://llvm-hpc3-workshop.github.io/) from the LLVM in HPC workshop at SC16. Phoronix have produced an updated [performance comparison](http://www.phoronix.com/scan.php?page=article&item=gcc7-clang4-dec...

...ile time), as long as the definitions end up with the correct types. This could be thought of as a generalization of the "class" and "multiclass" concepts in TableGen. Also notice that, like all ML-based languages, TableML is strongly typed, and it makes heavy use of Hindley-Milner type inference. (The parser, lexer, and typechecker are all coded already, by the way, just not very well tested at the moment.) The subset of Standard ML that TableML supports is essentially the one shown here: http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/slicing.cgi...

On Wed, Feb 03, 2016 at 07:28:16PM +0100, Pino Toscano wrote: > Help the OCaml compiler by expliciting Guestfs.guestfs as type for 'g' > in some functions. Looks mechanical, ACK. Does Hindley-Milner type inference have problems here? I've not seen them in this case. Rich. > get-kernel/get_kernel.ml | 2 +- > sysprep/sysprep_operation_abrt_data.ml | 2 +- > sysprep/sysprep_operation_bash_history.ml | 2 +- > sysprep/syspre...

Help the OCaml compiler by expliciting Guestfs.guestfs as type for 'g' in some functions. --- get-kernel/get_kernel.ml | 2 +- sysprep/sysprep_operation_abrt_data.ml | 2 +- sysprep/sysprep_operation_bash_history.ml | 2 +- sysprep/sysprep_operation_ca_certificates.ml | 2 +- sysprep/sysprep_operation_crash_data.ml