Back to Results
First PageMeta Content
Type theory / Data types / Theoretical computer science / Lambda calculus / Formal methods / Type system / Programming language / Fixed-point combinator / Recursive data type / Software engineering / Computing / Programming language theory


Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic  1 2 ; Pierre Jouvelot 1 3
Add to Reading List

Document Date: 2013-07-14 14:56:24

Open Document

File Size: 263,38 KB

Share Result on Facebook

City

Paris / /

/

Facility

Massachusetts Institute of Technology / /

IndustryTerm

ect systems / function car / parallel computing / Type systems / time estimation algorithm / static systems / polymorphic car function / point operator / tree manipulation algorithms / proj car int / /

Organization

Massachusetts Institute of Technology / /

Person

David K. Gi / Pierre Jouvelot / /

Position

candidate for vector code generation / library module designer / programmer / /

ProgrammingLanguage

FP / Lisp / /

ProvinceOrState

Connecticut / /

Technology

tree manipulation algorithms / time estimation algorithm / /

SocialTag