Concept
Liste en compréhension
Publications associées (14)
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...
New York2022Finally, a Polymorphic Linear Algebra Language
Amir Shaikhha, Lionel Emile Vincent Parreaux
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...
2019OCTOPUS: Efficient Query Execution on Dynamic Mesh Datasets
Anastasia Ailamaki, Henry Markram, Felix Schürmann, Thomas Heinis, Farhan Tauheed
Scientists in many disciplines use spatial mesh models to study physical phenomena. Simulating natural phenomena by changing meshes over time helps to understand and predict future behavior of the phenomena. The higher the precision of the mesh models, the ...
2014Scala-Virtualized: Linguistic Reuse for Deep Embeddings
Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin
Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...
Springer Verlag2013Code Completion using Quantitative Type Inhabitation
Viktor Kuncak, Tihomir Gvero, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2011