The Art Science and Engineering of Programming
Latest Publications

TOTAL DOCUMENTS

96
(FIVE YEARS 54)

H-INDEX

5
(FIVE YEARS 2)

Published By Aspect-Oriented Software Association (Aosa)

2473-7321
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Types for Tables: A Language Design Benchmark

2021 ◽  
Vol 6 (2) ◽  
Author(s):  
Kuang-Chen Lu ◽  
Ben Greenman ◽  
Shriram Krishnamurthi
Keyword(s):  
Language Design

scholarly journals Type Checking Extracted Methods

2021 ◽  
Vol 6 (2) ◽  
Author(s):  
Yuquan Fu ◽  
Sam Tobin-Hochstadt
Keyword(s):  
Type Checking

scholarly journals Automated, Targeted Testing of Property-Based Testing Predicates

2021 ◽  
Vol 6 (2) ◽  
Author(s):  
Tim Nelson ◽  
Elijah Rivera ◽  
Sam Soucie ◽  
Thomas Del Vecchio ◽  
John Wrenn ◽  
...  
Keyword(s):  
Targeted Testing

scholarly journals A Transient Semantics for Typed Racket

2021 ◽  
Vol 6 (2) ◽  
Author(s):  
Ben Greenman ◽  
Lukas Lazarek ◽  
Christos Dimoulas ◽  
Matthias Felleisen

scholarly journals A Functional Programming Language with Versions

2021 ◽  
Vol 6 (1) ◽  
Author(s):  
Yudai Tanabe ◽  
Luthfan Anshar Lubis ◽  
Tomoyuki Aotani ◽  
Hidehiko Masuhara
Keyword(s):  
Programming Language ◽  
Functional Programming ◽  
Functional Programming Language

scholarly journals The Art of the Meta Stream Protocol: Torrents of Streams

2021 ◽  
Vol 6 (1) ◽  
Author(s):  
Christophe De Troyer ◽  
Jens Nicolay ◽  
Wolfgang De Meuter

scholarly journals Sham: A DSL for Fast DSLs

2021 ◽  
Vol 6 (1) ◽  
Author(s):  
Rajan Walia ◽  
Chung-chieh Shan ◽  
Sam Tobin-Hochstadt

scholarly journals An Optimised Flow for Futures: From Theory to Practice

2021 ◽  
Vol 6 (1) ◽  
Author(s):  
Nicolas Chappe ◽  
Ludovic Henrio ◽  
Amaury Maillé ◽  
Matthieu Moy ◽  
Hadrien Renaud
Keyword(s):  
Theory To Practice
Load More ...
Sign in / Sign up

Export Citation Format

Share Document