Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 8 von 8

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

Higher-Order Contracts JavaScript Proxies
Fachzeitschrift
3

Blame assignment for higher-order contracts with intersection and union
Keil, Matthias ; Thiemann, Peter
ACM SIGPLAN Notices - ICFP '15. 50(9):375-386

Fachzeitschrift
4
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

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

statically typed program... gradually typed language... gradual typing software contracts JavaScript
Dissertation
7

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

Electronic computers. Co...
Buch
8

Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias. ; Gardner, Philippa. ; Felleisen, Matthias.

Software engineering. Computer science. Logic design. Programming Languages, C... Programming Techniques. Logics and Meanings of P...
Buch

Filter