Results 11 to 20 of about 1,627,187 (305)
Explicit effect subtyping [PDF]
Journal of Functional Programming, 2020 Abstract As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effect-aware optimising compiler could be built. Unfortunately, in our experience, implementing optimisations for
Karachalias, Georgios +4 more
openaire +5 more sources
A λ-calculus with explicit weakening and explicit substitution [PDF]
Mathematical Structures in Computer Science, 2001 Since Melliès showed that λσ (a calculus of explicit substitutions) does not preserve the strong normalization of the β-reduction, it has become a challenge to find a calculus satisfying the following properties: step-by-step simulation of the β-reduction, confluence on terms with metavariables, strong normalization of the calculus of substitutions ...
David, René, Guillaume, Bruno
openaire +3 more sources
Explicit programming strategies [PDF]
Empirical Software Engineering, 2020 Software developers solve a diverse and wide range of problems. While software engineering research often focuses on tools to support this problem solving, the strategies that developers use to solve problems are at least as important. In this paper, we offer a novel approach for enabling developers to follow explicit programming strategies that ...
Thomas D. LaToza +3 more
openaire +3 more sources
Explicit Pieri Inclusions [PDF]
The Electronic Journal of Combinatorics, 2021 By the Pieri rule, the tensor product of an exterior power and a finite-dimensional irreducible representation of a general linear group has a multiplicity-free decomposition. The embeddings of the constituents are called Pieri inclusions and were first studied by Weyman in his thesis and described explicitly by Olver.
Markus Hunziker +2 more
openaire +2 more sources
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, 1990 Abstract The λσ-calculus is a refinement of the λ-calculus where substitutions are manipulated explicitly. The λσ-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical λ-calculus and concrete implementations.
Abadi, Martin +3 more
openaire +2 more sources
xDeepFM: Combining Explicit and Implicit Feature Interactions for Recommender Systems [PDF]
Knowledge Discovery and Data Mining, 2018 Combinatorial features are essential for the success of many commercial models. Manually crafting these features usually comes with high cost due to the variety, volume and velocity of raw data in web-scale systems.
Jianxun Lian +5 more
semanticscholar +1 more source
A review of spatially-explicit GeoAI applications in Urban Geography
International Journal of Applied Earth Observation and Geoinformation, 2022 Urban Geography studies forms, social fabrics, and economic structures of cities from a geographic perspective. Catalysed by the increasingly abundant spatial big data, Urban Geography seeks new models and research paradigms to explain urban phenomena ...
Pengyuan Liu, Filip Biljecki
semanticscholar +1 more source
Combinatorics of Explicit Substitutions [PDF]
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018 $λ\upsilon$ is an extension of the $λ$-calculus which internalises the calculus of substitutions. In the current paper, we investigate the combinatorial properties of $λ\upsilon$ focusing on the quantitative aspects of substitution resolution. We exhibit an unexpected correspondence between the counting sequence for $λ\upsilon$-terms and famous Catalan
Bendkowski, Maciej, Lescanne, Pierre
openaire +3 more sources
Implementation of a damage model in a finite element program for computation of structures under dynamic loading [PDF]
Fracture and Structural Integrity, 2016 This work is a numerical simulation of nonlinear problems of the damage process and fracture of quasi-brittle materials especially concrete. In this study, we model the macroscopic behavior of concrete material, taking into account the phenomenon of ...
Nasserdine Oudni, Youcef Bouafia
doaj +1 more source
Theoretical Computer Science, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lucian Wischik, Philippa Gardner
openaire +2 more sources