Jacobs, Koen
258  results:
Search for persons X
?
2

Purity of an ST monad: full abstraction by semantically typ..:

Jacobs, Koen ; Devriese, Dominique ; Timany, Amin
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-27 , 2022
 
?
3

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
 
?
4

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
 
?
5

How to do proofs: practically proving properties about effe..:

, In: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development,
 
?
7

Tripzoom : an app to improve your mobility behavior:

, In: Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia,
Broll, Gregor ; Cao, Hu ; Ebben, Peter... - p. 1-4 , 2012
 
?
 
?
9

P-cadherin expression reduces melanoma growth, invasion, an..:

Jacobs, Koen ; Feys, Lynn ; Vanhoecke, Barbara..
European Journal of Cancer Prevention.  20 (2011)  3 - p. 207-216 , 2011
 
?
 
?
12

Chemical mapping of InGaN MQWs:

Sharma, Nikhil ; Tricker, David ; Thomas, Paul...
Journal of Crystal Growth.  230 (2001)  3-4 - p. 438-441 , 2001
 
?
13

Purity of an ST monad:Full abstraction by semantically type..:

Jacobs, Koen ; Devriese, Dominique ; Timany, Amin
Jacobs , K , Devriese , D & Timany , A 2022 , ' Purity of an ST monad : Full abstraction by semantically typed back-translation ' , Proceedings of the ACM on Programming Languages , vol. 6 , no. OOPSLA1 , 82 . https://doi.org/10.1145/3527326.  , 2022
 
?
14

Fully abstract from static to gradual:

Jacobs, Koen ; Timany, Amin ; Devriese, Dominique
Jacobs , K , Timany , A & Devriese , D 2021 , ' Fully abstract from static to gradual ' , Proceedings of the ACM on Programming Languages , vol. 5 , no. POPL , 7 . https://doi.org/10.1145/3434288.  , 2021
 
1-15