5 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
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…