Segui
Justin Slepak
Justin Slepak
Email verificata su ccs.neu.edu
Titolo
Citata da
Citata da
Anno
An array-oriented language with static rank polymorphism
J Slepak, O Shivers, P Manolios
European Symposium on Programming Languages and Systems, 27-46, 2014
422014
Rank polymorphism viewed as a constraint problem
J Slepak, P Manolios, O Shivers
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018
42018
Records with rank polymorphism
J Slepak, O Shivers, P Manolios
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries …, 2019
22019
A Typed Programming Language: The Semantics of Rank Polymorphism
J Slepak
Northeastern University, 2020
12020
Introduction to Rank-polymorphic Programming in Remora (Draft)
O Shivers, J Slepak, P Manolios
arXiv preprint arXiv:1912.13451, 2019
12019
The Semantics of Rank Polymorphism
J Slepak, O Shivers, P Manolios
arXiv preprint arXiv:1907.00509, 2019
12019
ATyped PROGRAMMING LANGUAGE
J SLEPAK
Northeastern University Boston, 2020
2020
Proposal: Static Semantics and Rank Polymorphism
J Slepak
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–8