Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Neverlang: A framework for feature-oriented language development
Reuse in programming language development is an open research problem. Many authors
have proposed frameworks for modular language development. These frameworks focus on …
have proposed frameworks for modular language development. These frameworks focus on …
Disjoint polymorphism
J Alpuim, BCS Oliveira, Z Shi - … on Programming, ESOP 2017, Held as …, 2017 - Springer
The combination of intersection types, a merge operator and parametric polymorphism
enables important applications for programming. However, such combination makes it hard …
enables important applications for programming. However, such combination makes it hard …
Versatile event correlation with algebraic effects
We present the first language design to uniformly express variants of n-way joins over
asynchronous event streams from different domains, eg, stream-relational algebra, event …
asynchronous event streams from different domains, eg, stream-relational algebra, event …
Safe model polymorphism for flexible modeling
Abstract Domain-Specific Languages (DSLs) are increasingly used by domain experts to
handle various concerns in systems and software development. To support this trend, the …
handle various concerns in systems and software development. To support this trend, the …
Language components for modular DSLs using traits
Recent advances in tooling and modern programming languages have progressively
brought back the practice of develo** domain-specific languages as a means to improve …
brought back the practice of develo** domain-specific languages as a means to improve …
Toward self‐aware models as cognitive adaptive instruments for social and behavioral modeling
L Yilmaz - Social‐Behavioral Modeling for Complex Systems, 2019 - Wiley Online Library
Model development is an incremental and iterative process, but it often prematurely
converges to a single supposedly authoritative model. Better use of scientific method …
converges to a single supposedly authoritative model. Better use of scientific method …
[PDF][PDF] Distributive disjoint polymorphism for compositional programming
X Bi, N ** classes and mixins with intersection types
We study an assignment system of intersection types for a lambda-calculus with records and
a record-merge operator, where types are preserved both under subject reduction and …
a record-merge operator, where types are preserved both under subject reduction and …
Modular interpreters with implicit context propagation
Modular interpreters are a crucial first step towards component-based language
development: instead of writing language interpreters from scratch, they can be assembled …
development: instead of writing language interpreters from scratch, they can be assembled …
[HTML][HTML] Castor: Programming with extensible generative visitors
Much recent work on type-safe extensibility for Object-Oriented languages has focused on
design patterns that require modest type system features. Examples of such design patterns …
design patterns that require modest type system features. Examples of such design patterns …