research
∙
05/24/2022
ACL2s Systems Programming
ACL2 provides a systems programming capability that allows one to write ...
share
research
∙
09/02/2021
A Reasoning Engine for the Gamification of Loop-Invariant Discovery
We describe the design and implementation of a reasoning engine that fac...
research
∙
12/31/2019
Introduction to Rank-polymorphic Programming in Remora (Draft)
Remora is a higher-order, rank-polymorphic array-processing programming ...
research
∙
07/01/2019
The Semantics of Rank Polymorphism
Iverson's APL and its descendants (such as J, K and FISh) are examples o...
research
∙
05/23/2011