Hacker News new | past | comments | ask | show | jobs | submit | from login
(Set Theoretical Types) Programming with union, intersection, and negation types [pdf] (irif.fr)
3 points by weatherlight 8 months ago | past
The Design Principles of the Elixir Type System [pdf] (irif.fr)
100 points by weatherlight 9 months ago | past | 14 comments
A Gradual Gradual Type System for Elixir [pdf] (irif.fr)
3 points by _acco 11 months ago | past
From Bytecode to JavaScript: the JavaScript of OCaml Compiler (2011) [pdf] (irif.fr)
1 point by alokrai on May 31, 2020 | past
Unnamed SFU – Open Source One-to-many videoconferencing for teaching/conferences (irif.fr)
60 points by Sean-Der on May 19, 2020 | past | 23 comments
Unnamed SFU – One-to-many videoconferencing for teaching and conferences (irif.fr)
2 points by Sean-Der on May 14, 2020 | past | 1 comment
Gradual Typing as if Types Mattered [pdf] (irif.fr)
3 points by luu on May 5, 2020 | past
Estimating and comparing entropy across written natural lan with PPM compression [pdf] (irif.fr)
2 points by godelmachine on April 27, 2020 | past
Estimating and comparing entropy across written natural languages using PPM comp [pdf] (irif.fr)
1 point by godelmachine on April 17, 2019 | past
Gradual Typing: A New Perspective [pdf] (irif.fr)
3 points by matt_d on Dec 14, 2018 | past
Mathematical Foundations of Automata Theory [pdf] (irif.fr)
3 points by lainon on Oct 12, 2018 | past
Tensorial logic (irif.fr)
2 points by colinprince on May 9, 2017 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: