Information for "System F"

Basic information

Display title	System F
Default sort key	System F
Page length (in bytes)	19,295
Namespace ID	0
Page ID	767637
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of page watchers	89
Number of page watchers who visited in the last 30 days	7
Number of redirects to this page	16
Counted as a content page	Yes
Wikidata item ID	Q2552799
Local description	Typed lambda calculus
Central description	typed lambda calculus
Page views in the past 30 days	2,093

Page protection

Edit	Allow all users (no expiry set)
Move	Allow all users (no expiry set)

View the protection log for this page.

Edit history

Page creator	Leibniz (talk \| contribs)
Date of page creation	21:29, 30 June 2004
Latest editor	Perlocutor (talk \| contribs)
Date of latest edit	19:45, 8 May 2026
Total number of edits	321
Recent number of edits (within past 30 days)	0
Recent number of distinct authors	0

Page properties

Hidden categories (3)	This page is a member of 3 hidden categories (help): Category:Articles with short description Category:Short description matches Wikidata Category:CS1 French-language sources (fr)
Transcluded templates (57)	Pages transcluded onto the current version of this page (help): Template:Citation (view source) (fully protected) Template:Cite book (view source) (fully protected) Template:Cite conference (view source) (template editor protected) Template:Cite journal (view source) (fully protected) Template:Cite web (view source) (fully protected) Template:Clear (view source) (fully protected) Template:For (view source) (template editor protected) Template:Ifsubst (view source) (template editor protected) Template:Main other (view source) (fully protected) Template:Mono (view source) (template editor protected) Template:Mono/styles.css (view source) (template editor protected) Template:Mvar (view source) (template editor protected) Template:Pagetype (view source) (fully protected) Template:Plainlist/styles.css (view source) (fully protected) Template:Refbegin (view source) (template editor protected) Template:Refbegin/styles.css (view source) (template editor protected) Template:Refend (view source) (template editor protected) Template:Reflist (view source) (fully protected) Template:Reflist/styles.css (view source) (fully protected) Template:SDcat (view source) (fully protected) Template:Short description (view source) (fully protected) Template:Short description/lowercasecheck (view source) (fully protected) Template:Side box (view source) (template editor protected) Template:Sister project (view source) (template editor protected) Template:Trim (view source) (fully protected) Template:Wikibooks (view source) (template editor protected) Module:Arguments (view source) (fully protected) Module:Check for unknown parameters (view source) (fully protected) Module:Citation/CS1 (view source) (fully protected) Module:Citation/CS1/COinS (view source) (fully protected) Module:Citation/CS1/Configuration (view source) (fully protected) Module:Citation/CS1/Date validation (view source) (fully protected) Module:Citation/CS1/Identifiers (view source) (fully protected) Module:Citation/CS1/Utilities (view source) (fully protected) Module:Citation/CS1/Whitelist (view source) (fully protected) Module:Citation/CS1/styles.css (view source) (fully protected) Module:Disambiguation/templates (view source) (fully protected) Module:For (view source) (template editor protected) Module:Format link (view source) (template editor protected) Module:Hatnote (view source) (template editor protected) Module:Hatnote/styles.css (view source) (template editor protected) Module:Hatnote list (view source) (template editor protected) Module:Pagetype (view source) (fully protected) Module:Pagetype/config (view source) (fully protected) Module:SDcat (view source) (fully protected) Module:Side box (view source) (template editor protected) Module:Side box/styles.css (view source) (template editor protected) Module:String (view source) (fully protected) Module:Wikitext Parsing (view source) (fully protected) Module:Yesno (view source) (fully protected) This list may be incomplete.
Wikidata entities used in this page	System F Sitelink Title Description: en

Lint errors

Duplicate IDs	1

View detailed information on the lint errors.

Basic information

Page protection

Edit history

Page properties

Lint errors

External tools