Recent Posts

First-class 자산
텐더민트 합의에 락이 필요한 이유
TPS 비교 아이고 의미 없다
VRF(Verifiable Random Function)와 블록체인
텐더민트 합의에 3단계가 필요한 이유

Top Posts

프로그래밍과 수학
하스켈 시작하기
하스켈 "Hello World" 프로그램
게임 서버: node.js의 장점과 단점
텐더민트 합의에 3단계가 필요한 이유
하스켈 학교
확장 메소드(extension method)
자바스크립트 튜플 만들기
TypeScript Function Overloads
How I learned Haskell

Archives

Follow Kwang Yul Seo on WordPress.com

RSS

RSS - Posts

Skip to content

Kwang Yul Seo

서광열 블로그

About

Posted on February 21, 2014August 2, 2016 in Uncategorized

Parametric Polymorphism and Girard-Reynolds Isomorphism

http://kseo.github.io/posts/2014-02-21-parametric-polymorphism-and-girard-reynolds-isomorphism.html

Share this:

Twitter
Reddit
Facebook

Like this:

Like Loading...

Combinatory logic Curry-Howard Isomorphism Djinn Girard-Reynolds Hindley-Milner Intuitonistic logic lambda calculus Lennart Augustsson Phil Gossett

Post navigation

Learning Prolog to be a better Haskell programmer

Learning Agda to be a better Haskell programmer

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

Notify me of new comments via email.

Notify me of new posts via email.

Δ

Blog at WordPress.com.

Follow Following
- Kwang Yul Seo
- Already have a WordPress.com account? Log in now.

%d bloggers like this: