login

Home > Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory > Search Results

LAMP - Programming Methods Laboratory

Search:

Search Tips :: Advanced Search

Sort by:

ascending
descending

Display:

Collections:

Select collection Select collection

Format:

Select output format

1.	PDF paper Degrees of Separation: A Flexible Type System for Safe Concurrency Xu, Yichen ; Boruch-Gruszecki, Aleksander Slawomir ; Odersky, Martin 03 April 2024 \| Conference Papers \| Detailed record - Similar records
2.	Capturing Types Boruch-Gruszecki, Aleksander Slawomir ; Odersky, Martin ; Lee, Edward ; Lhotak, Ondrej[...] Acm Transactions On Programming Languages And Systems, 45 (4), 21 (2023) 01 December 2023 \| Journal Articles \| Detailed record - Similar records
3.	Unsupervised Graph Representation Learning with Cluster-aware Self-training and Refining Zhu, Yanqiao ; Xu, Yichen ; Yu, Feng ; Liu, Qiang[...] Acm Transactions On Intelligent Systems And Technology, 14 (5), 82 (2023) 01 October 2023 \| Journal Articles \| Detailed record - Similar records
4.	A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning Boruch-Gruszecki, Aleksander Slawomir ; Wasko, Radoslaw ; Xu, Yichen ; Parreaux, Lionel Proceedings Of The Acm On Programming Languages-Pacmpl, 6 (OOPSLA), 179 (2022) 01 October 2022 \| Journal Articles \| Detailed record - Similar records
5.	PDF scala3-syntax-rewriting-TROPIN-2024 Scala 3 syntax rewriting Tropin, Mark ; Piquerez, Adrien 05 January 2024 \| Student Projects \| Detailed record - Similar records
6.	PDF Thesis_Andres_2023_Inline_Traits Inline Traits for Specialization in Scala 3 Andres, Timothée ; Stucki, Nicolas Alexander ; Odersky, Martin 23 June 2023 \| Student Projects \| Detailed record - Similar records
7.	PDF a-mechanized-theory-of-the-box-calculus A Mechanized Theory of the Box Calculus Fourment, Joseph ; Xu, Yichen 10 June 2023 \| Reports \| Detailed record - Similar records
8.	PDF Master Thesis_Zhendong Ang Macro Annotations for Scala 3 Ang, Zhendong ; Stucki, Nicolas Alexander 17 June 2022 \| Student Projects \| Detailed record - Similar records
9.	Multiple Files Report - Implement string interpolator inline unapply Implement string interpolator inline unapply Gorilskij, Pietro Vladimir ; Odersky, Martin ; Kmetiuk, Anatolii ; Stucki, Nicolas Alexander 17 June 2022 \| Student Projects \| Detailed record - Similar records
10.	Effects, Capabilities, and Boxes From Scope-Based Reasoning to Type-Based Reasoning and Back Brachthaeuser, Jonathan Immanuel ; Schuster, Philipp ; Lee, Edward ; Boruch-Gruszecki, Aleksander Proceedings Of The Acm On Programming Languages-Pacmpl, 6 (OOPSLA), 76 (2022) 01 April 2022 \| Journal Articles \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.