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

23rd International Symposium on Principles and Practice of ..:

Veltri, Niccolò ; Benton, Nick ; Ghilezan, Silvia , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Effect-dependent transformations for concurrent programs:

Benton, Nick ; Hofmann, Martin ; Nigam, Vivek
Science of Computer Programming.  155 (2018)  - p. 27-51 , 2018
Link: https://doi.org/10.1016/..
 
?
3

Semantic Equivalence Checking for HHVM Bytecode:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,
Benton, Nick - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
4

Effect-dependent transformations for concurrent programs:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Benton, Nick ; Hofmann, Martin ; Nigam, Vivek - p. 188-201 , 2016
Link: https://dl.acm.org/doi/1..
 
?
5

Correctness of compiling polymorphism to dynamic typing:

HOU (Favonia), KUEN-BANG ; BENTON, NICK ; HARPER, ROBERT
Journal of Functional Programming.  27 (2016)  - p. , 2016
Link: https://doi.org/10.1017/..
 
?
6

Integrating Linear and Dependent Types:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Krishnaswami, Neelakantan R. ; Pradic, Pierre ; Benton, Nick - p. 17-30 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Integrating Linear and Dependent Types:

Krishnaswami, Neelakantan R. ; Pradic, Pierre ; Benton, Nick
ACM SIGPLAN Notices.  50 (2015)  1 - p. 17-30 , 2015
Link: https://doi.org/10.1145/..
 
?
8

Abstract effects and proof-relevant logical relations:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Benton, Nick ; Hofmann, Martin ; Nigam, Vivek - p. 619-631 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Session details: Semantic models 1:

Benton, Nick
ACM SIGPLAN Notices.  49 (2014)  1 - p. , 2014
Link: https://doi.org/10.1145/..
 
?
10

Session details: Semantic models 1:

Benton, Nick
ACM SIGPLAN Notices.  49 (2014)  1 - p. , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Session details: Semantic models 1:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Benton, Nick , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

Abstract effects and proof-relevant logical relations:

Benton, Nick ; Hofmann, Martin ; Nigam, Vivek
ACM SIGPLAN Notices.  49 (2014)  1 - p. 619-631 , 2014
Link: https://doi.org/10.1145/..
 
?
13

Coq : the world's best macro assembler?:

, In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming,
Kennedy, Andrew ; Benton, Nick ; Jensen, Jonas B.. - p. 13-24 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

High-level separation logic for low-level code:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Jensen, Jonas B. ; Benton, Nick ; Kennedy, Andrew - p. 301-314 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

High-level separation logic for low-level code:

Jensen, Jonas B. ; Benton, Nick ; Kennedy, Andrew
ACM SIGPLAN Notices.  48 (2013)  1 - p. 301-314 , 2013
Link: https://doi.org/10.1145/..
 
1-15