122
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
Traversing an algebraic datatype by hand requires boilerplate code which duplicates the structure of the datatype. Datatype-generic programming (DGP) aims to eliminate such boiler...
137
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
Regression formulas are a domain-specific language adopted by several R packages for describing an important and useful class of statistical models: hierarchical linear regressio...
113
click to vote
POPL
2016
ACM
10 years 20 days ago
2016
ACM
A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a sound translation of lambda-terms (on the high-level) to their...
127
click to vote
POPL
2016
ACM
2016
ACM
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
10 years 20 days ago
Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory definition of their semantics, one that admits all c...