LAMP - Laboratoire de méthodes de programmation

Chercher dans 250 notices:

Conseils de recherche :: Recherche avancée

Derniers ajouts:

2018-04-19 14:45	PDF Isolates, channels, and event streams for composable distributed programming Prokopec, Aleksandar ; Odersky, Martin Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 171-182 (2015) 2015 \| Conference Papers \| Notice détaillée - Notices similaires
2018-03-22 00:52	PDF Towards a Solution to the Red Wedding Problem Meiklejohn, Christopher ; Lakhani, Zeeshan ; Miller, Heather ; , 2018 \| Conference Papers \| Notice détaillée - Notices similaires
2018-02-12 17:37	PDF Reversible Sesqui-Pushout Rewriting, Graph Transformation Danos, Vincent ; Heindel, Tobias ; Honorato-Zimmer, Ricardo ; Stucki, Sandro[...] Graph Transformation, 7th International Conference, ICGT 2014. Proceedings, 8571, 161-176 (2014) 22 July 2014 \| Conference Papers \| Notice détaillée - Notices similaires
2017-12-04 17:19	PDF Design and implementation of an optimizing type-centric compiler for a high-level language Petrashko, Dmytro ; Odersky, Martin 2017 \| Theses \| Notice détaillée - Notices similaires
2017-11-13 08:17	PDF Higher-Order Subtyping with Type Intervals Stucki, Sandro ; Odersky, Martin 2017 \| Theses \| Notice détaillée - Notices similaires
2017-10-21 21:22	PDF Monotonicity Types Clancy, Kevin ; Miller, Heather ; Meiklejohn, Christopher 2017 \| Conference Papers \| Notice détaillée - Notices similaires
2017-10-08 12:55	PDF Two approaches to portable macros Liu, Fengyun ; Burmako, Eugene 2017 \| Reports \| Notice détaillée - Notices similaires
2017-08-24 09:19	PDF A Programming Model and Foundation for Lineage-Based Distributed Computation Haller, Philipp ; Miller, Heather ; Müller, Normen Journal of Functional Programming (2018) 2018 \| Journal Articles \| Notice détaillée - Notices similaires
2017-07-12 22:11	PDF Monotonicity Types for Distributed Dataflow Clancy, Kevin ; Miller, Heather Proceedings of the 2nd Workshop on Programming Models and Languages for Distributed Computing (2017) 2017 \| Conference Papers \| Notice détaillée - Notices similaires
2017-07-11 15:17	PDF Simplicitly: Foundations and Applications of Implicit Function Types Odersky, Martin ; Blanvillain, Olivier ; Liu, Fengyun ; Biboudis, Aggelos[...] 2017 \| Conference Papers \| Notice détaillée - Notices similaires

[>> davantage]