Sven-Bodo Scholz – A λ-Calculus for Transfinite Arrays — Towards Unifying Streams and Arrays (20 April 2017)
by • March 14, 2017 • DSG Research Seminars: Logic and Programming Languages, News
On Thursday the 20th April 2017 Sven-Bodo will give a PL&L seminar talk at the usual time (14:15). Arrays and streams seem to be fundamentally at odds: arrays require their size to be known in advance, streams are dynamically growing; arrays offer direct access to all of their elements, streams provide direct access to...
Read more →