Functional programming languages for ver
✍ Leucker M.
📂 Library
🌐 English
✦ LIBER ✦
📁
ML modules and Haskell type classes.A constructive comparison
✍ Scribed by Wehr S.
- Tongue
- English
- Leaves
- 51
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Typing Haskell in Haskell
✍ Jones M.P.
📂 Library
🌐 English
Статья М. П. Джонса, опубликованная в Haskell Workshop Version: September 1, 1999. Посвящена описанию системы типизации языка Haskell, причём реализация машины вывода типов приведена опять же на языке Haskell.<div class="bb-sep"></div>Краткое содержание:<div class="bb-sep"></div>Introduction<br/>Pre
Classes of modules
✍ John Dauns, Yiqiang Zhou
📂 Library
📅 2006
🏛 Chapman & Hall/CRC
🌐 English
Classes of Modules
✍ Zhou Y.
📂 Library
📅 2006
🌐 English
Because traditional ring theory places restrictive hypotheses on all submodules of a module, its results apply only to small classes of already well understood examples. Often, modules with infinite Goldie dimension have finite-type dimension, making them amenable to use with type dimension, but not
Modules and comodules
✍ Tomasz Brzezinski, Tomasz Brzezinski, José Luis Gómez Pardo, Ivan Shestakov, P
📂 Library
📅 2008
🏛 Birkhäuser
🌐 English
📂 Library
🌐 English