Back to Results
First PageMeta Content
Programming language theory / Ruby / Rack / Type inference / Variable / Parametric polymorphism / Algorithm / Software engineering / Type theory / Computing


Ecstatic – Type Inference for Ruby Using the Cartesian Product Algorithm Spring 2007 Master’s Thesis (SW10)
Add to Reading List

Document Date: 2012-02-14 07:38:19

Open Document

File Size: 3,11 MB

Share Result on Facebook

Company

Spring 2007 Project Group / /

/

IndustryTerm

type inference tool / /

Organization

Aalborg University / Kristian Kristensen Department / Aalborg University Department of Computer Science / /

Person

Peter Sørensen / Martin Madsen / Ruby Using / Kaiser Chiefs / Martin Madsen Peter Sørensen Kristian / Kristian Kristensen / Ruby Ahaa-ahaa / Peter Sørensen Kristian Kristensen III / Kurt Nørmark / /

Position

CPA / kk@cs.aau.dk Supervisor / Controller / /

ProgrammingLanguage

Ruby / /

Technology

Hindley-Milner Algorithm / Inference Algorithms / Cartesian Product Algorithm / /

SocialTag