The Art, Science, and Engineering of Programming
Upcoming Submission Deadline: June 1, 2023
Volume 6, Issue 2
DOI:
https://doi.org/10.22152/programming-journal.org/2022/6/issue2
Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Jeremy Gibbons
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
Toggle navigation
About
Purpose
Boards
Awards
Publisher
Volumes
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Article feed (atom)
Article feed (RSS)
The Journal
About
Purpose and Operation
Boards
Awards
Publisher
Volumes
Issues
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1
For Authors
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Article feed (atom)
Article feed (RSS)