Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wu, Nicolas
~ 1700  Ergebnisse:
Personensuche X
?
1

Scoped Effects as Parameterized Algebraic Theories:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Lindley, Sam ; Matache, Cristina ; Moss, Sean... - p. 3-21 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Algebraic Effects Meet Hoare Logic in Cubical Agda:

Kidney, Donnacha Oisín ; Yang, Zhixuan ; Wu, Nicolas
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1663-1695 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Modular Models of Monoids with Operations:

Yang, Zhixuan ; Wu, Nicolas
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 566-603 , 2023
Link: https://doi.org/10.1145/..
 
?
4

The Evolution of Effects (Keynote):

, In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium,
Wu, Nicolas - p. 2 ff. , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Embedding by Unembedding:

Matsuda, Kazutaka ; Frohlich, Samantha ; Wang, Meng.
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 1-47 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Extensible Embedded Hardware Description Languages with Com..:

, In: Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies,
Tahir, Omar ; Luk, Wayne ; Wu, Nicolas - p. 1-10 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Phases in Software Architecture:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture,
Gibbons, Jeremy ; Kidney, Donnacha Oisín ; Schrijvers, Tom. - p. 29-33 , 2023
Link: https://dl.acm.org/doi/1..
 
?
8

A Calculus of Delayed Reductions:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,
Van Bakel, Steffen ; Wu, Nicolas ; Tye, Emma - p. 1-13 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Folding over Neural Networks:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
Nguyen, Minh ; Wu, Nicolas - p. 129-150 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Staging with class: a specification for typed template Hask..:

Xie, Ningning ; Pickering, Matthew ; Löh, Andres...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
11

Linearly qualified types: generic inference for capabilitie..:

Spiwack, Arnaud ; Kiss, Csongor ; Bernardy, Jean-Philippe..
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 137-164 , 2022
Link: https://doi.org/10.1145/..
 
?
12

Modular probabilistic models via algebraic effects:

Nguyen, Minh ; Perera, Roly ; Wang, Meng.
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 381-410 , 2022
Link: https://doi.org/10.1145/..
 
?
13

Structured Handling of Scoped Effects:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Yang, Zhixuan ; Paviotti, Marco ; Wu, Nicolas.. - p. 462-491 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Oregano: staging regular expressions with Moore Cayley fusi..:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,
Willis, Jamie ; Wu, Nicolas ; Schrijvers, Tom - p. 66-80 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Staging with class: a specification for typed template Hask..:

Xie, Ningning ; Pickering, Matthew ; Löh, Andres...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://dl.acm.org/doi/1..
 
1-15