Giuseppe Castagna @Beppe_Castagna

CNRS Senior Research Scientist in Computer Science Université de Paris

 Paris
irif.fr/~gc
Joined January 2013
Un récit rigoureux et bouleversant dans son actualité : radiofrance.fr/franceculture…
2
Giuseppe Castagna retweeted
Guillaume Duboc @duboc_guillaume
30 Aug 2024
Our preprint on proving type safety for Elixir's gradual type system. Feedback welcome! arxiv.org/abs/2408.14345

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir

We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gradual typing...

arxiv.org
4
33
3
140
#ScientificResult 🔎 | Thanks to the theoretical work of @Beppe_Castagna, CNRS senior researcher and director @IRIF_Paris & his PhD student @duboc_guillaume, the programming language Elixir start moving from a dynamic to also a static one ➡️ ins2i.cnrs.fr/en/cnrsinfo/dy… 🤝 @elixirlang
6
1
13
Secrétaire général ou secrétaire générale de l'Institut de recherche en informatique fondamentale H/F choisirleservicepublic.gouv.…
Giuseppe Castagna retweeted
José Valim
 @josevalim
13 Mar 2024
Congratulations @Beppe_Castagna and @duboc_guillaume!
8
26
5
336
Giuseppe Castagna retweeted
SmartLogic @smartlogic
8 Jun 2023
It's the Season 10 finale of Elixir Wizards: The future of types in Elixir with @josevalim, Guillaume Duboc & Giuseppe Castagna. Decades of theory meet the needs of a living language in this fascinating discussion. 🎧 smr.tl/3oPP5yv #myelixirstatus #elixirlang
1
8
2
27
Giuseppe Castagna retweeted
José Valim
 @josevalim
9 Jun 2022
Today during my @ElixirConfEU keynote I announced there is an ongoing PhD scholarship for researching and developing a type system powered by set-theoretic types for Elixir. Here is a quick summary... 🧵 [1/6]
2
146
30
583
L’épidémie en Israël ne met pas en cause l'efficacité des vaccins. Il s'agit de ce qu'en statistique on appelle le paradoxe de Simpson. C'est dû au fait que la plus grand partie des vaccinés en Israël sont aussi les plus âgés et donc les plus probables à..
1
Giuseppe Castagna retweeted
IRIF @IRIF_Paris
6 Apr 2018
Victor Lanvin (PhD student of Giuseppe Castagna, IRIF) is awarded the Google PhD fellowship! Through the FSMP, Google will give a significant support to Victor's research work. vlanvin.fr @MathsParis bit.ly/2q8vvvK
3
4
Happy and proud that Victor Lanvin wins the first place at the ACM SRC grand final goo.gl/cUiwf1 for our work @icfp_conference
2
3
Load more