|
|
| | (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
|