| |
Del Vecchio, Thomas
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
 Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
|
| |
Dimoulas, Christos |
Art Sci. Eng. Program., vol. 6, issue 2: "A Transient Semantics for ..."
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: progjb21main-idp202269-p doi:10.22152/programming-journal.org/2022/6/9
|
| |
Felleisen, Matthias
|
Art Sci. Eng. Program., vol. 6, issue 2: "A Transient Semantics for ..."
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: progjb21main-idp202269-p doi:10.22152/programming-journal.org/2022/6/9
|
| |
Fu, Yuquan |
Art Sci. Eng. Program., vol. 6, issue 2: "Type Checking Extracted Methods ..."
Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt
(Indiana University, USA)
Publisher's Version
Article: progjb21main-idp202266-p doi:10.22152/programming-journal.org/2022/6/6
|
| |
Gibbons, Jeremy
|
Art Sci. Eng. Program., vol. 6, issue 2: "Continuation-Passing Style, ..."
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Jeremy Gibbons
(University of Oxford, UK)
Publisher's Version
Article: progjb21main-idp202267-p doi:10.22152/programming-journal.org/2022/6/7
|
| |
Greenman, Ben |
Art Sci. Eng. Program., vol. 6, issue 2: "Types for Tables: A Language ..."
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Article: progjb21main-idp202268-p doi:10.22152/programming-journal.org/2022/6/8
Art Sci. Eng. Program., vol. 6, issue 2: "A Transient Semantics for ..."
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: progjb21main-idp202269-p doi:10.22152/programming-journal.org/2022/6/9
|
| |
Krishnamurthi, Shriram
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
Art Sci. Eng. Program., vol. 6, issue 2: "Types for Tables: A Language ..."
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Article: progjb21main-idp202268-p doi:10.22152/programming-journal.org/2022/6/8
|
| |
Lazarek, Lukas
|
Art Sci. Eng. Program., vol. 6, issue 2: "A Transient Semantics for ..."
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Article: progjb21main-idp202269-p doi:10.22152/programming-journal.org/2022/6/9
|
| |
Lu, Kuang-Chen |
Art Sci. Eng. Program., vol. 6, issue 2: "Types for Tables: A Language ..."
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Article: progjb21main-idp202268-p doi:10.22152/programming-journal.org/2022/6/8
|
| |
Nelson, Tim
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
|
| |
Rivera, Elijah
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
|
| |
Soucie, Sam
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
|
| |
Tobin-Hochstadt, Sam
|
Art Sci. Eng. Program., vol. 6, issue 2: "Type Checking Extracted Methods ..."
Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt
(Indiana University, USA)
Publisher's Version
Article: progjb21main-idp202266-p doi:10.22152/programming-journal.org/2022/6/6
|
| |
Wrenn, John
|
Art Sci. Eng. Program., vol. 6, issue 2: "Automated, Targeted Testing ..."
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version
Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10
|