LAMP - Laboratoire de méthodes de programmation

Chercher dans 264 notices:

Conseils de recherche :: Recherche avancée

Derniers ajouts:

2020-04-17 15:37	PDF Formal foundations for GADTs in Scala Waśko, Radosław ; Boruch-Gruszecki, Aleksander Slawomir 17 April 2020 \| Student Projects \| Notice détaillée - Notices similaires
2020-02-20 02:24	Cross-Platform Language Design in Scala.js (Keynote) Doeraene, Sebastien Proceedings Of The 9Th Acm Sigplan International Symposium On Scala (Scala '18), 1-1 (2018) 01 January 2018 \| Conference Papers \| Notice détaillée - Notices similaires
2020-01-31 14:20	PDF Linker call graph with full Dotty support Stucki, Nicolas Alexander 30 January 2017 \| Reports \| Notice détaillée - Notices similaires
2020-01-17 11:03	PDF Digital Design with Implicit State Machines Liu, Fengyun ; Prokopec, Aleksandar ; Odersky, Martin 17 January 2020 \| Reports \| Notice détaillée - Notices similaires
2020-01-10 13:27	PDF Dotty Phantom Types Stucki, Nicolas Alexander ; Biboudis, Aggelos ; Odersky, Martin 21 July 2017 \| Reports \| Notice détaillée - Notices similaires
2020-01-09 17:08	PDF Celsius: A Model for Safe Initialization of Objects Liu, Fengyun ; Biboudis, Aggelos ; Giarrusso, Paolo G. ; Odersky, Martin 09 January 2020 \| Reports \| Notice détaillée - Notices similaires
2020-01-09 16:44	Multiple Files A Type-and-Effect System for Object Initialization Liu, Fengyun ; Lhoták, Ondřej ; Biboudis, Aggelos ; Giarrusso, Paolo Giosuè[...] 09 January 2020 \| Reports \| Notice détaillée - Notices similaires
2020-01-09 15:58	PDF Stoic: Towards Disciplined Capabilities Liu, Fengyun ; Stucki, Sandro ; Amin, Nada ; Giarrusso, Paolo Giosuè[...] 09 January 2020 \| Reports \| Notice détaillée - Notices similaires
2019-06-21 16:47	PDF Implementing the f string interpolator using Dotty macros Alemanno, Sara ; Stucki, Nicolas Alexander 04 June 2019 \| Student Projects \| Notice détaillée - Notices similaires
2019-06-21 16:44	PDF XML String Interpolator for Dotty Kammoun, Yassin ; Stucki, Nicolas Alexander 19 June 2019 \| Student Projects \| Notice détaillée - Notices similaires

[>> davantage]