All Research Papers Published In Artifact Digital Object Group

Dataset
2
10.1145/3373113

Artifact for

Nov 26, 2019
Artifact Digital Object Group
Lukas Lazarek + 4 more +4

Dataset
1
10.1145/3373098

Undecidability of D&lt;

Nov 26, 2019
Artifact Digital Object Group
Jason Z S Hu + 1 more +1

Dataset
10.1145/3373107

Replication Package for Article

Nov 26, 2019
Artifact Digital Object Group
Michael Greenberg + 1 more +1

Dataset
10.1145/3373110

Library presented in the paper

Nov 25, 2019
Artifact Digital Object Group
Li-Yao Xia + 6 more +6

Dataset
1
10.1145/3342525

Fork of GHC implementing -XUnsaturatedTypeFamilies for the paper 'Higher-Order Type-Level Programming in Haskell'

Jul 08, 2019
Artifact Digital Object Group
Csongor Kiss + 3 more +3

Type family applications in Haskell must be fully saturated. This means that all type-level functions haveto be first-order, leading to code that is both messy and longwinded. In this paper we detail an extension toGHC that removes this restriction. We augment Haskell’s existing type arrow,→, with anunmatchablearrow,↠, that supports partial application of type families without compromising soundness. A soundness proof isprovided. We show how the techniques described can lead to substantial code-size reduction (circa 80%) inthe type-level logic of commonly-used type-level libraries whilst simultaneously improving code quality and readability.

Dataset
10.1145/3342522

Prototype Implementation of Fuzzi

Jul 07, 2019
Artifact Digital Object Group
Hengchu Zhang + 4 more +4

Dataset
10.1145/3339067

Artifact for Article

Jun 25, 2019
Artifact Digital Object Group
Oliver Schwahn + 3 more +3

Dataset
10.1145/3339065

Artifact for Study of Application Incompatibilities in Android

Jun 24, 2019
Artifact Digital Object Group
Haipeng Cai + 3 more +3

Dataset
10.1145/3325979

Replication package for Article

Apr 19, 2019
Artifact Digital Object Group
Michalis Kokologiannakis + 2 more +2

Dataset
1
10.1145/3325965

TaskProf2

Apr 16, 2019
Artifact Digital Object Group
Adarsh Yoga + 1 more +1