Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Logical methods in computer science, 2023-01, Vol.19, Issue 1
2023
Volltextzugriff (PDF)

Open Access
Java Lambda: a Featherweight Story
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.60-74
2016
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2019, Vol.293 (Proc. DCM 2018 and ITRS 2018), p.39-55
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2024, Vol.401, p.11-21
2024
Volltextzugriff (PDF)

Open Access
Global types with internal delegation
Theoretical computer science, 2020-02, Vol.807, p.128-153
2020
Volltextzugriff (PDF)

Theoretical computer science, 2023-09, Vol.971, p.114063, Article 114063
2023
Volltextzugriff (PDF)

Acta informatica, 2019-11, Vol.56 (7-8), p.553-583
2019
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-02, Vol.131, p.100844, Article 100844
2023
Volltextzugriff (PDF)

Open Access
A Calculus of Located Entities
Electronic proceedings in theoretical computer science, 2014-03, Vol.144 (Proc. DCM 2013), p.41-56
2014
Volltextzugriff (PDF)

Theoretical computer science, 2019-04, Vol.764, p.145-172
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2013-07, Vol.121 (Proc. ITRS 2012), p.81-93
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2022, Vol.356, p.12-23
2022
Volltextzugriff (PDF)

Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, p.340-363
2019
Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.68-86
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1281-1309, Article 267
2023
Volltextzugriff (PDF)

Open Access
Coeffects for sharing and mutation
Proceedings of ACM on programming languages, 2022-10, Vol.6 (OOPSLA2), p.870-898
2022
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.101-106
2012
Volltextzugriff (PDF)

Science of computer programming, 2019-03, Vol.172, p.180-202
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-07, Vol.88 (Proc. DCM 2011), p.43-58
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2009-11, Vol.9 (Proc. DCM 2009), p.38-48
2009
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-01, Vol.45 (Proc. ITRS 2010), p.45-58
2011
Volltextzugriff (PDF)

Theoretical computer science, 2015-07, Vol.587, p.1-2
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt