Compositional explanation of types and algorithmic debugging of type errors
- 期刊名称ACM SIGPLAN Notices
- 作者Chitil, Olaf
- 卷第36卷
- 期第10期
- 印刷ISSN0362-1340
- 文件大小181.53KB
- 发表时间2001-10-01
- DOI10.1145/507669.507659
Surgical Management of Severe Spondylolisthesis in Children and AdolescentsMuschik, Michael; Zippel, Hartmut; Perka, Carsten · Spine · 1997
Application of the nonradioactive biotin–streptavidin system to visualize AFLP fragmentsTANJA PFEIFFER; ELKE ZIPPEL; SEBASTIAN FRITZ; MICHAEL STECH · 2005
Wave-Breaking Turbulence in the Ocean Surface LayerThomson, Jim; Schwendeman, Michael S.; Zippel, Seth F.; Moghimi, Saeed; Gemmrich, Johannes; Rogers, W. Erick · Journal of Physical Oceanography · 2016
Immune response against polyester implants is influenced by the coating substancesLutz Wilhelm; Roland Zippel; Thomas von Woedtke; Heidrun Kenk; Andreas Hoene; Maciej Patrzyk; Michael Schlosser · 2007
The first diferric model compound for the uteroferrin?arsenato complexEulering, Burkhard; Ahlers, Friedhelm; Zippel, Frank; Schmidt, Michael; Nolting, Hans-Friedrich; Krebs, Bernt · Journal of the Chemical Society, Chemical Communications · 1995
Persistent layer-by-layer growth for pulsed-laser homoepitaxy of <span class="math"><img alt="equation image" src="http://onlinelibrary.wiley.com/store/10.1002/pssr.201206305/asset/equation/tex2gif-ueqn-1.gif?v=1&t=h7mhwclt&s=efcabb6ddf3772c49892684f077496b289a53c0f" class="inlineGraphic"> ZnOJan Zippel; Michael Lorenz; Gabriele Benndorf; Marius Grundmann · 2012
Martensitic phase transition and subsequent surface corrugation in manganese stabilized zirconia thin filmsZippel, Jan; Lorenz, Michael; Lenzner, Jörg; Wagner, Gerald; Grundmann, Marius · Philosophical Magazine · 2013
The evolution of APLFalkoff, Adin D.; Iverson, Kenneth E. · ACM SIGAPL APL Quote Quad · 1978
Book review: APL: an interactive approachEisenberg, Murray · ACM SIGAPL APL Quote Quad · 1984
The design of APLFalkoff, A. D.; Iverson, K. E. · ACM SIGAPL APL Quote Quad · 1975
The best ways to learn APL?Leach, Lisa · ACM SIGAPL APL Quote Quad · 1994
Solving (cyclic) tridiagonal systemsReuter, Richard · ACM SIGAPL APL Quote Quad · 1988
APL thinking: examplesEisenberg, Murray; Peelle, Howard A. · ACM SIGAPL APL Quote Quad · 1987
APL syntax and semanticsIverson, Kenneth E. · ACM SIGAPL APL Quote Quad · 1983
Phrasal formsMcDonnell, E. E.; Iverson, K. E. · ACM SIGAPL APL Quote Quad · 1989