Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 14:03 - 14:26 at Reindeer - Machine Learning Chair(s): Dominic Steinitz

Statically typed functional programming helps by allowing more properties to be expressed and checked by the program automatically. In previous work, we created the Hasktorch library to research and extend the ability of typed functional programming to implement machine learning systems. Recent work on Hasktorch has focused on a deep overhaul of metaprogramming facilities to produce foreign function bindings of PyTorch’s recently-released, consolidated C++ API known as libtorch. We improved the implementation of shared Haskell tooling for C++ bindings and generated the bindings automatically support thousands of PyTorch C++ functions.

Sun 18 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:40 - 14:50
Machine LearningFHPNC at Reindeer
Chair(s): Dominic Steinitz Tweag I/O
13:40
23m
Talk
Compositional Deep Learning in Futhark
FHPNC
Duc Minh Tran DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark
Link to publication
14:03
23m
Talk
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
FHPNC
Junji Hashimoto GREE, Inc., Autsin Huang , Sam Stites Sentenai
14:26
23m
Talk
Hailstorm : A statically typed functional language for systems programming (extended abstract)
FHPNC
Abhiroop Sarkar Chalmers University of Technology, Mary Sheeran