Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Felleisen, Matthias
223  Ergebnisse:
Personensuche X
?
1

Effectful Software Contracts:

Moy, Cameron ; Dimoulas, Christos ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2639-2666 , 2024
Link: https://doi.org/10.1145/..
 
?
2

How to Evaluate Blame for Gradual Types, Part 2:

Lazarek, Lukas ; Greenman, Ben ; Felleisen, Matthias.
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 159-186 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Typed–Untyped Interactions: A Comparative Analysis:

Greenman, Ben ; Dimoulas, Christos ; Felleisen, Matthias
ACM Transactions on Programming Languages and Systems.  45 (2023)  1 - p. 1-54 , 2023
Link: https://doi.org/10.1145/..
 
?
4

Trace contracts:

MOY, CAMERON ; FELLEISEN, MATTHIAS
Journal of Functional Programming.  33 (2023)  - p. , 2023
Link: https://doi.org/10.1017/..
 
?
5

How Profilers Can Help Navigate Type Migration:

Greenman, Ben ; Felleisen, Matthias ; Dimoulas, Christos
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 544-573 , 2023
Link: https://doi.org/10.1145/..
 
?
6

How to evaluate blame for gradual types:

Lazarek, Lukas ; Greenman, Ben ; Felleisen, Matthias.
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

How to evaluate blame for gradual types:

Lazarek, Lukas ; Greenman, Ben ; Felleisen, Matthias.
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Adding interactive visual syntax to textual code:

Andersen, Leif ; Ballantyne, Michael ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Macros for domain-specific languages:

Ballantyne, Michael ; King, Alexis ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://doi.org/10.1145/..
 
?
10

Adding interactive visual syntax to textual code:

Andersen, Leif ; Ballantyne, Michael ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://doi.org/10.1145/..
 
?
11

Typed dataspace actors:

CALDWELL, SAM ; GARNOCK-JONES, TONY ; FELLEISEN, MATTHIAS
Journal of Functional Programming.  30 (2020)  - p. , 2020
Link: https://doi.org/10.1017/..
 
?
12

Macros for domain-specific languages:

Ballantyne, Michael ; King, Alexis ; Felleisen, Matthias
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Complete monitors for gradual types:

Greenman, Ben ; Felleisen, Matthias ; Dimoulas, Christos
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

How to evaluate the performance of gradual type systems:

GREENMAN, BEN ; TAKIKAWA, ASUMU ; NEW, MAX S....
Journal of Functional Programming.  29 (2019)  - p. , 2019
Link: https://doi.org/10.1017/..
 
?
15

Complete monitors for gradual types:

Greenman, Ben ; Felleisen, Matthias ; Dimoulas, Christos
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
1-15