52 citations · 103 across the 25 of their papers we have counts for
3 papers · 1 filter
Introduction to Rank-polymorphic Programming in Remora (Draft)
Olin Shivers, Justin Slepak, Panagiotis Manolios
Remora is a higher-order, rank-polymorphic array-processing programming language, in the same general class of languages as APL and J. It is intended for writing programs to be exe…
The Semantics of Rank Polymorphism
Justin Slepak, Olin Shivers, Panagiotis Manolios
Iverson's APL and its descendants (such as J, K and FISh) are examples of the family of "rank-polymorphic" programming languages. The principal control mechanism of such languages…
Data Definitions in the ACL2 Sedan
Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition f…