Back to Results
First PageMeta Content
Lambda calculus / Logic / Predicate logic / Computability theory / De Bruijn index / Free variables and bound variables / Closure / Monad / Combinatory logic / Mathematics / Software engineering / Computing


Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard
Add to Reading List

Document Date: 2014-07-10 05:47:09

Open Document

File Size: 250,93 KB

Share Result on Facebook

City

Tokyo / /

Company

tn LC C / LC (open P p1 p2 ) LC / LC pn LC K / LCP R EBIND LCP E MBED LC / LC F REE LC / LC tn LC K / Alpha E LC / LCP B INDER LC / LC (open p t) LC / U NBOUND / /

Country

Japan / /

Currency

pence / USD / GHS / /

/

Event

Reorganization / /

Facility

SYB3 library / Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard University of Pennsylvania / Haskell library / /

IndustryTerm

optical device / multi-applications / machinery / dependently-type systems / /

Organization

Portland State University / University of Pennsylvania / /

Person

de Bruijn / Stephanie Weirich Brent / /

Position

General / /

Product

Rec / Embed / Rebind / Haskell / Bind / LFresh / /

ProgrammingLanguage

Haskell / L / R / ML / /

Technology

Alpha / functional programming / dom / /

URL

http /

SocialTag