LAMP - Laboratoire de méthodes de programmation

Chercher dans 268 notices:

Conseils de recherche :: Recherche avancée

Derniers ajouts:

2020-09-10 12:14	Multiple Files tech Safe Initialization of Objects Liu, Fengyun ; Lhoták, Ondˇrej ; Biboudis, Aggelos ; Giarrusso, Paolo G.[...] 10 September 2020 \| Working Papers \| Notice détaillée - Notices similaires
2020-08-29 02:21	Towards Improved GADT Reasoning in Scala Parreaux, Lionel ; Boruch-Gruszecki, Aleksander ; Giarrusso, Paolo G. Scala'19: Proceedings Of The 10Th Acm Sigplan International Symposium On Scala, 12-16 (2019) 01 January 2019 \| Conference Papers \| Notice détaillée - Notices similaires
2020-06-19 16:55	PDF A Mechanized Theory of Quoted Code Patterns A Mechanized Theory of Quoted Code Patterns Radosław, Wasko ; Liu, Fengyun ; Stucki, Nicolas Alexander 18 June 2020 \| Student Projects \| Notice détaillée - Notices similaires
2020-06-10 13:49	PDF Report on Theory of Quoted Code Patterns Report on Theory of Quoted Code Patterns Stucki, Nicolas Alexander ; Liu, Fengyun ; Biboudis, Aggelos 10 June 2020 \| Working Papers \| Notice détaillée - Notices similaires
2020-04-17 15:37	PDF Formal foundations for GADTs in Scala 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 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 ism 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 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 oopsla19 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

[>> davantage]