Exécution de notre outil de synthèse sur un nouvel article
Vérifiez l’article ci-dessous, puis lancez sa synthèse.
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
Yutaka Nagashima, Liam O'Connor
arXiv: 1608.03350v1 (cs.PL)
Accepted by ACM SIGPLAN Workshop on ML, September 2016
Licence : NONEXCLUSIVE-DISTRIB 1.0
Résumé : We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
Soumis à arXiv le 11 Aoû. 2016