Amos Robinson

icon indicating a website link http://amosr.amospheric.com/ icon indicating an email [email protected]

icon company Australian National University icon location Sydney, Australia icon location postdoc at ANU, interested in programming languages and critical systems

Results 13 issues of Amos Robinson

Thesis project: surface language support for multiple input streams

Icicle[1] is a streaming query language that only supports one input stream. We can, however, represent multiple input streams in a limited way. For example, we can represent two input...

docker dev container: explicit platform, install pkg-config

2 comment

Hi, The docker dev container wasn't working for me on an M1 Mac. I fixed it by specifying AMD64 emulation. I believe this change should not affect other x86 users....

Refinement subtypes being discarded

6 comment

Hi, I came across a bug which allowed me to use integer division in a context that required a function of type `int -> int -> int`. This should be...