typed lambda-calculus

0.01 sec.

(theory)

typed lambda-calculus - (TLC) A variety of lambda-calculus in which every term is labelled with a type.

A function application (A B) is only synctactically valid if A has type s --> t, where the type of B is s (or an instance or s in a polymorphic language) and t is any type.

If the types allowed for terms are restricted, e.g. to Hindley-Milner types then no term may be applied to itself, thus avoiding one kind of non-terminating evaluation.

Most functional programming languages, e.g. Haskell, ML, are closely based on variants of the typed lambda-calculus.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			type III assembly type III cement type inference type IV cement type locality Type Metal type scheme type section Type Size Type, Literary type-a leader type-ahead type-ahead search type-bar printer type-DWV tubing type-in traffic type-M carcinotron type-O carcinotron type-S fuse type-ß leader type-X gypsum lath type-X gypsum wallboard typeahead typeahead buffer Typecasting typed lambda-calculus TypedProlog typeface typeface family typematic typeover mode types of hardware types of software types, theory Types, Theory of Typesetting typesetting language Typesetting Machines Typewriter typewriter terminal Typha Typhaceae Typhales Typhlitis Typhlopidae Typhloscolecidae typhlosole Typhoeus typhoid Typhoid Fever Typhoid Mary			Type-Two Phaser Type-VII collagen Type-VII collagen Type-VII collagen type-X gypsum lath type-X gypsum wallboard Typeahead Typeahead buffer Typeahead buffer Typebar typecase typecast typecast typecasting typecasting typecasts typed typed typed typed typed typed Typed Applicative Language Experiment Typed assembly language Typed Constraint Logic Programs Typed Data Object Typed Default Feature Structure Typed Delay Typed Feature Structure Grammar Typed Lambda Calculi and Applications typed lambda-calculus Typed Letter Signed Typed Module Assembly Language Typed Neglect of Differential Overlap Typed Object Model Typed XML Typed-Data Session Service Data Unit typed-in traffic TypedProlog typeface typeface typeface typeface Typeface editor typeface family typeface family Typeface foundries Typeface foundry Typefaces Typefaces Typefi Publishing System Typefounding Typekill typematic typeover mode typeprint analysis types types types types types

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.