SWiK
» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with type + haskell

The Universe of Discourse : data Mu f = In (f (Mu f))

Haskell: del.icio.us tag/haskell

A Gentle Introduction to Haskell: Classes

type classes!

Haskell: del.icio.us tag/haskell

Перевод "Types and Programming Languages"

Сайт, предназначенный для поддержки русского перевода книги Бенджамина Пирса «Типы в языках программирования».

Haskell: del.icio.us tag/haskell

Type Classes with Functional Dependencies

Haskell: del.icio.us tag/haskell

GHC Manual: Generalised Algebraic Data Types

Haskell: del.icio.us tag/haskell

Haskell Programming: Types

Simon Peyton Jones: Wearing the hair shirt: a retrospective on Haskell. POPL 2003, invited talk.

Haskell: del.icio.us tag/haskell

hubFS: THE place for F# - Type Classes

F# type classes, link to a haskell presentation

Haskell: del.icio.us tag/haskell

Jesper's Blog: HList in Scala

Implementation of Haskell's HList in Scala using its type system.

scala: del.icio.us/tag/scala

Jesper's Blog: HList in Scala

Implementation of Haskell's HList in Scala using its type system.

Haskell: del.icio.us tag/haskell

Lazy Error Handling in Java, Part 2: Thrower is a Monad " Apocalisp

Haskell: del.icio.us tag/haskell

Algebraic Data Types in JavaScript - w3future.com

Merging unfold, fold and map transformations

Haskell: del.icio.us tag/haskell

derivatives of types

Haskell: del.icio.us tag/haskell

Practical type inference for arbitrary-rank types

Haskell: del.icio.us tag/haskell

lomeo: Type families

Немножко о type families и ссылка на пост с другими type хаками

Haskell: del.icio.us tag/haskell

Type inference - Wikipedia, the free encyclopedia

Haskell: del.icio.us tag/haskell

Non-Deterministic Recursive Ascent Parsing | Lambda the Ultimate

Haskell: del.icio.us tag/haskell

Well Quite

Checking protocol conformance with types.

Haskell: del.icio.us tag/haskell

型を返す関数 - ヒビルテ (2004-09-12)

Haskell: del.icio.us tag/haskell

Algebraic Data Types in Javascript

Haskell: del.icio.us tag/haskell

A Gentle Introduction to Haskell: Classes

Haskell: del.icio.us tag/haskell

Research Papers of Manuel Chakravarty

Haskell: del.icio.us tag/haskell

Research Papers of Manuel Chakravarty

Haskell: del.icio.us tag/haskell

:: (Bloggable a) => a -> IO () " 2008 " February " 27

Haskell: del.icio.us tag/haskell

Desperately UnEnterprise: Type classes in Scala

scala: del.icio.us/tag/scala

Desperately UnEnterprise: Type classes in Scala

Haskell: del.icio.us tag/haskell

LtU Classic Archives

static typing

Haskell: del.icio.us tag/haskell

Modern Static Typing: Less Code, Better Code

a good one on static typing

Haskell: del.icio.us tag/haskell

Type inference - Wikipedia, the free encyclopedia

Haskell: del.icio.us tag/haskell

Can your type checking system do this?

Type strictness of Java, the false sense of safety of little minds. This article shows the value of expressive type systems.

Haskell: del.icio.us tag/haskell

Type classes: exploring the design space

Haskell: del.icio.us tag/haskell

Template Insanity

Haskell: del.icio.us tag/haskell

Template Insanity

Haskell: del.icio.us tag/haskell

programming: what's new online

Haskell: del.icio.us tag/haskell

Computational Semantics and Type Theory :: PDF

Haskell: del.icio.us tag/haskell

Easy implementation of dependetly typed lambda calculus

Haskell: del.icio.us tag/haskell

Haskell/GADT - Wikibooks, collection of open-content textbooks

Haskell: del.icio.us tag/haskell

Page 1 | Next >>