miniKanren 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
co-located with ICFP 2022
VenueCankarjev Dom
Room nameŠtih
Capacity150
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Language DesignML at Štih
Chair(s): Benoît Montagu Inria
09:00
50m
Keynote
Keynote: Efficient and Scalable Parallel Functional Programming Through Disentanglement
ML
Sam Westrick Carnegie Mellon University
09:50
20m
Talk
Towards Algebraic Subtyping for Extensible Records
ML
Rodrigo Marques Universidade do Porto, Mário Florido Universidade do Porto, Pedro Vasconcelos LIACC, Universidade do Porto, Porto, Portugal
10:10
20m
Talk
The Ultimate Conditional SyntaxVirtual
ML
Lionel Parreaux The Hong Kong University of Science and Technology (HKUST)
Pre-print File Attached
11:00 - 12:30
Implementation of Functional LanguagesML at Štih
Chair(s): Matija Pretnar University of Ljubljana, Slovenia
11:00
20m
Talk
A New Match Compiler for Standard ML of New Jersey
ML
David MacQueen University of Chicago (Emeritus)
File Attached
11:20
20m
Talk
Boxroot, fast movable GC roots for a better FFI
ML
Pre-print
11:40
20m
Talk
Unboxed types for OCaml
ML
Richard A. Eisenberg Jane Street, Stephen Dolan Jane Street, Leo White Jane Street
12:00
20m
Talk
What About the Integer Numbers?
ML
Daan Leijen Microsoft Research
Link to publication File Attached
14:00 - 15:30
Tools & MetaprogrammingML at Štih
Chair(s): Ningning Xie University of Cambridge
14:00
20m
Talk
Necro ML: Generating OCaml Interpreters
ML
Louis Noizet Univ. Rennes 1, Alan Schmitt Inria
Pre-print File Attached
14:20
20m
Talk
Module Shapes for Modern Tooling
ML
Thomas Réfis Tarides, Ulysse Gérard Tarides, Leo White Jane Street
File Attached
14:40
20m
Talk
An OCaml use case for strong call-by-need reduction
ML
15:00
20m
Talk
Do Mutable Variables Have Reference Types?
ML
Oleg Kiselyov Tohoku University, Japan
Pre-print

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
KeynoteErlang at Štih
09:00
15m
Day opening
Welcome to the Erlang Workshop
Erlang
Burcu Kulahcioglu Ozkan Delft University of Technology, Stavros Aronis Erlang Solutions, Sweden
09:15
75m
Keynote
eqWAlizer - Scaling Erlang development at WhatsApp with static typing
Erlang
16:00 - 17:30
Applications & TeachingOCaml at Štih
Chair(s): Benoît Montagu Inria
16:00
20m
Talk
Highest-performance Stream Processing
OCaml
Oleg Kiselyov Tohoku University, Japan, Tomoaki Kobayashi Tohoku University, Aggelos Biboudis Oracle, Nick Palladinos Nessos Information Technologies, SA
Pre-print
16:20
20m
Talk
Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
OCaml
Haochen M. Kotoi-Xie Kotoi-Xie Consultancy, Inc., Hirotetsu Hongo Kotoi-Xie Consultancy, Inc., Yuta Sato Kotoi-Xie Consultancy, Inc., Shinya Yamaguchi Kotoi-Xie Consultancy, Inc.
File Attached
16:50
20m
Talk
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
OCaml
Artur Miguel Dias NOVA University of Lisbon and NOVA LINCS, Simão Melo de Sousa Universidade da Beira Interior and NOVA LINCS, António Ravara NOVA LINCS & FCT, NOVA University of Lisbon
Pre-print
17:10
20m
Talk
OCamello: A Course and Summer School with Learn-OCaml
OCaml
Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Ricardo J. Rodríguez University of Zaragoza
File Attached

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Štih