Personensuche
X
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
3
Evolution of a haskell repository and its use of monads ..:
, In:
?
2020 IEEE/SICE International Symposium on System Integration (SII) ,
7
Toward Distributed Streaming Data Sharing Manager for Auton..:
, In:
?
Proceedings of the 12th ACM International Workshop on Context-Oriented Programming and Advanced Modularity ,
8
Interfaces for Modular Reasoning in Context-Oriented Progra..:
, In:
?
Proceedings of the XXII Brazilian Symposium on Programming Languages ,
10
Towards progressive program verification in Dafny:
, In:
?
Proceedings of the 21st Brazilian Symposium on Programming Languages ,
11
A preliminary assessment of how monads are used in Haskell:
, In:
?
Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools ,
14