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...
ACM transactions on programming languages and systems, 1997-03, Vol.19 (2), p.292-333
1997
Link zum Volltext


ACM transactions on programming languages and systems, 1997-05, Vol.19 (3), p.444-461
1997
Link zum Volltext


2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.405-414
2010


ACM transactions on programming languages and systems, 1999-01, Vol.21 (1), p.138-173
1999
Link zum Volltext

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.129-139
2018

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1078-1089
2018


2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.1391-1393
2020



ACM transactions on programming languages and systems, 1996-03, Vol.18 (2), p.175-234
1996
Link zum Volltext

SIGPLAN notices, 1997-09, Vol.32 (9), p.68-71
1997
Link zum Volltext

ACM transactions on mathematical software, 1996-03, Vol.22 (1), p.18-23
1996
Link zum Volltext


ACM transactions on programming languages and systems, 1998-03, Vol.20 (2), p.344-387
1998
Link zum Volltext

Type classes in Haskell
ACM transactions on programming languages and systems, 1996-03, Vol.18 (2), p.109-138
1996
Link zum Volltext




Open Access
Eta-expansion does the trick
ACM transactions on programming languages and systems, 1996-11, Vol.18 (6), p.730-751
1996
Link zum Volltext

ACM transactions on programming languages and systems, 1996, Vol.18 (6), p.752-779
1996
Link zum Volltext

ACM transactions on programming languages and systems, 1996-11, Vol.18 (6), p.711-729
1996
Link zum Volltext
Aktive Filter
SpracheRussisch
ThemaComputer Science, Theory & Methods
KollektionACM Digital Library
ThemaSoftware
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt