Articoli con mandati relativi all'accesso pubblico - Christos DimoulasUlteriori informazioni
Disponibili pubblicamente: 11
FunTAL: Reasonably mixing a functional language with assembly
D Patterson, J Perconti, C Dimoulas, A Ahmed
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2017
Mandati: US National Science Foundation
Oh Lord, please don't let contracts be misunderstood (functional pearl)
C Dimoulas, MS New, RB Findler, M Felleisen
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
Mandati: US National Science Foundation
Extensible access control with authorization contracts
S Moore, C Dimoulas, RB Findler, M Flatt, S Chong
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Mandati: US National Science Foundation
Whip: higher-order contracts for modern services
L Waye, S Chong, C Dimoulas
Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017
Mandati: US National Science Foundation
How to evaluate blame for gradual types
L Lazarek, B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
Mandati: US National Science Foundation
Complete monitors for gradual types
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Mandati: US National Science Foundation
Does blame shifting work?
L Lazarek, A King, S Sundar, RB Findler, C Dimoulas
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
Mandati: US National Science Foundation
Typed–Untyped Interactions: A Comparative Analysis
B Greenman, C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems 45 (1), 1-54, 2023
Mandati: US National Science Foundation
How to Evaluate Blame for Gradual Types, Part 2
L Lazarek, B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 7 (ICFP), 159-186, 2023
Mandati: US National Science Foundation
Effectful Software Contracts
C Moy, C Dimoulas, M Felleisen
Proceedings of the ACM on Programming Languages 8 (POPL), 2639-2666, 2024
Mandati: US National Science Foundation
How Profilers Can Help Navigate Type Migration
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 544-573, 2023
Mandati: US National Science Foundation
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software