Nagoya University

file

Visible to the public Local Temporal Reasoning

Presented as part of the 2014 HCSS conference.

Abstract:

Programming languages that use higher-order functionality (e.g. Java, C#, F#, Haskell, Ocaml, Perl, Python, Ruby) have become commonplace. Higher-order language features such as map, grep, Google's Map/Reduce, are used widely and applauded for their simplicity and modularity.