Français
English
Recherche
Personnaliser
Vos alertes
Vos paniers
Vos recherches
Vos alertes
Vos paniers
Vos recherches
Browse Collections
Aide
Français
English
identification
identification
Accueil
>
Production scientifique et compétences
>
I&C - Faculté Informatique & Communications
>
IINFCOM
> LAMP - Laboratoire de méthodes de programmation
LAMP - Laboratoire de méthodes de programmation
Chercher dans 268 notices:
Tous les champs
Auteur
Titre
année
unité
collection
journal
éditeur
résumé
mot clé
DOI
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]