Back to Results
First PageMeta Content
Theoretical computer science / Parametric polymorphism / Symbol / Type variable / Type inference / Type system / Type theory / Programming language theory / Software engineering


Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed]
Add to Reading List

Document Date: 2007-10-10 00:35:06

Open Document

File Size: 145,67 KB

Share Result on Facebook

Company

redex hF / vF / Danvy and Filinski / /

/

IndustryTerm

above type systems / e-contexts / type inference algorithm / s/r type inference algorithm / inference algorithm / e-context / efficient type inference algorithm / prototypical type inference algorithm / /

Organization

Ochanomizu University / University of Tsukuba / Department of Computer Science / Department of Information Science / /

ProgrammingLanguage

ML / /

Technology

inference algorithm / efficient type inference algorithm / type inference algorithm / s/r type inference algorithm / extended algorithm / prototypical type inference algorithm / s/r Hindley-Milner type inference algorithm / /

URL

http /

SocialTag