Back to Results
First PageMeta Content
Mathematics / Data types / Subroutines / Universal algebra / Lambda calculus / Type inference / Type system / Variadic function / Map / Software engineering / Type theory / Computing


Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun
Add to Reading List

Document Date: 2015-01-16 15:37:27

Open Document

File Size: 187,93 KB

Share Result on Facebook

Facility

SML Basis Library / /

IndustryTerm

binary addition operator / expressive type systems / is restricted to applications / local type inference algorithm / list-processing functions / list processing / type systems / map-style processing / map car bss / car xs / /

MusicAlbum

Al / Bob / /

Organization

Northeastern University / /

Person

Sam Tobin-Hochstadt / Matthias Felleisen / T. Stephen Strickland / /

/

Position

Scheme programmer / programmer / /

ProgrammingLanguage

Haskell / Python / PLT Scheme / ML / Java / C++ / /

Technology

local type inference algorithm / Java / /

SocialTag