*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 11 *of* 11

1

TreatJS: Higher-Order Contracts for JavaScript
Keil, Matthias ; Thiemann, Peter

Computer Science - Progr... D.2.4
*Report*
2

TreatJS: Higher-Order Contracts for JavaScript (Artifact)
Keil, Matthias ; Thiemann, Peter ; Matthias Keil and Peter Thiemann

JavaScript Proxies Higher-Order Contracts ddc:004
*Academic Journal*
3

TreatJS: Higher-Order Contracts for JavaScript (Artifact)
http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.28 ; Keil, Matthias ; Thiemann, Peter ; et al.

*Electronic Resource*
4

TreatJS: Higher-Order Contracts for JavaScript.
Matthias Keil 0002 ; Peter Thiemann 0001
CoRR. abs/1504.08110

*Academic Journal*
5

*This result is not displayed to guests*

6

Higher-order contracts for JavaScript
Keil, Roman Matthias

JavaScript
*Dissertation/ Thesis*
7

Design and evaluation of contracts for gradual typing
Williams, Jack ; Wadler, Philip ; Morris, Garrett

005.1 statically typed program... gradually typed language... gradual typing software contracts JavaScript
*Dissertation/ Thesis*
8

*This result is not displayed to guests*

9

Blame assignment for higher-order contracts with intersection and union
Matthias Keil ; Peter Thiemann
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. :375-386

2. Zero hunger 0202 electrical engineer... 02 engineering and techn... 16. Peace & justice
*Academic Journal*
10

Continuation Passing Style for Effect Handlers
Daniel Hillerström and Sam Lindley and Robert Atkey and K. C. Sivaramakrishnan ; Hillerström, Daniel ; Lindley, Sam ; et al.

*Electronic Resource*
11

Continuation passing style for effect handlers
Hillerström, Daniel ; Lindley, Sam ; Atkey, Robert ; et al.

Electronic computers. Co...
*Book*

*Filter*