5 citations · 13 across the 6 of their papers we have counts for
6 papers · 1 filter
Direct Foundations for Compositional Programming
Andong Fan, Xuejing Huang, Han Xu +2
The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implement…
Resolution as Intersection Subtyping via Modus Ponens
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira +1
Resolution and subtyping are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values autom…
Kind Inference for Datatypes: Technical Supplement
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the c…
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality
Weixin Zhang, Bruno Oliveira
Context: Embedded Domain-Specific Languages (EDSLs) are a common and widely used approach to DSLs in various languages, including Haskell and Scala. There are two main implementati…
Separating Use and Reuse to Improve Both
Hrshikesh Arora, Marco Servetto, Bruno C. D. S. Oliveira
Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it…
Extended Report: The Implicit Calculus
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi +2
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combin…