search result

Cover von Grundlagen der funktionalen Programmierung
Author: Thiemann, Peter Search for this author
Year: 1994
Publisher: Stuttgart, Teubner
Series: Leitfäden der Informatik
Media group: MONOGRAPHIE
Cover von LJGS

LJGS

Gradual Security Types for Object-Oriented Languages
Year: 2016
Media group: LIPIcs
Cover von Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9632
Media group: MONOGRAPHIE
Cover von TreatJS

TreatJS

Higher-Order Contracts for JavaScripts
Year: 2015
Media group: LIPIcs
Cover von Symbolic Solving of Extended Regular Expression Inequalities

Symbolic Solving of Extended Regular Expression Inequalities

Year: 2014
Media group: LIPIcs
Cover von A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference

A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference

Year: 2026
Media group: LIPIcs
Cover von Global Type Inference for Featherweight Generic Java

Global Type Inference for Featherweight Generic Java

Year: 2022
Media group: LIPIcs
Cover von Towards Contract Modules for the Tezos Blockchain (Short Paper)

Towards Contract Modules for the Tezos Blockchain (Short Paper)

Year: 2021
Media group: OASICS
Cover von Transparent Object Proxies in JavaScript

Transparent Object Proxies in JavaScript

Year: 2015
Media group: LIPIcs
Cover von Functional and Logic Programming
11th International Symposium, FLOPS 2012, Kobe, Japan, May 23 - 25, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7294
Media group: MONOGRAPHIE
OPEN V 11.1.0.0