[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Set-theoretic foundation of parametric polymorphism and subtyping
- 作者Castagna, Giuseppe; Xu, Zhiwu
- 文件大小604.30KB
- 发表时间2011
- DOI10.1145/2034773.2034788
SchrifttumsschauGeorg Heubeck; Carl Boehm; Waldemar Schöbe; Günther Drude; Erich Stein; Hans Dinter; Gerhard Röper; Lebrecht Göritz; Günther Wünsche · 1956
SchrifttumschauGünther Drude; Carl Boehm; Hans Münzner; Günther Wünsche; Manfred Helbig; Erich Stein; Waldemar Schöbe; Lebrecht Göritz · 1962
SchrifttumsschauWaldemar Schöbe; Herbert von Denffer; Manfred Helbig; Paula Schweiger; Carl Boehm; Gerhard Röper · 1960
Schweizerische Lebensversicherungs- und Rentenanstalt 1857–1957Gottfried Berger; Johannes Staniszewski; Karl Heinrich Quast; Erich Stein; Dietrich Bierlein; Hans-Willy Schäfer; Waldemar Schöbe; Lebrecht Göritz; H. P. Luzius; Günther Wünsche · 1958
SchrifttumschauHasso Härlen; Carl Boehm; Edgar Neuburger; Waldemar Schöbe; Gerhard Müller; Peter Leepin; Werner Dinkelbach; Günther Drude; Wulf Erbe; Carl Boehm; Rita Tönne; Josef Kupper · 1967
SchrifttumsschauCarl Boehm; Hans-Ludwig Kroner; Günther Drude; Johannes Mehring; Erich Stein; Georg Heubeck; Manfred Helbig; Peter Leepin; Peter Barow; Stefan Vajda; Waldemar Schöbe; Lebrecht Göritz; Günther Wünsche · 1961
Schrifttumsschau und KongreßberichtPaula Schweiger; Johannes Staniszewski; Johannes Mehring; Günther Drude; Paula Schweiger; Carl Boehm; Lebrecht Göritz; Waldemar Schöbe · 1955
Gebrochen iterierte Exponentialfunktion im ReellenWaldemar Schöbe · 1958