Jump to content

Value restriction: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:4415:44, 1 February 2023‎ Citation bot talk contribs‎ 5,492 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2153/3850 undo

curprev 21:5421:54, 30 September 2022‎ Lexi.lambda talk contribs‎ m 5,476 bytes −10‎ No edit summary undo

curprev 08:3208:32, 1 December 2021‎ 2a01:e0a:1f1:9d00:f262:c278:4992:a980 talk‎ 5,486 bytes +1‎ →‎A Counter Example to Type Safety: fix typo in math undo

curprev 06:2406:24, 28 October 2021‎ GünniX talk contribs‎ m 5,485 bytes +14‎ v2.04 - Fix errors for CW project (Reference list missing) undo Tag: WPCleaner

curprev 03:3703:37, 22 October 2021‎ WikiCleanerBot talk contribs‎ m 5,471 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 17:2517:25, 20 October 2021‎ Arjayay talk contribs‎ m 5,471 bytes −30‎ Duplicate word removed + undo
curprev 11:2011:20, 20 October 2021‎ Suapajh talk contribs‎ m 5,501 bytes +6‎ Typo fixes and minor edit to type checking paragraph. undo Tag: Visual edit
curprev 00:4700:47, 20 October 2021‎ Suapajh talk contribs‎ 5,495 bytes +3,674‎ Filled in stub for value restriction. undo Tag: Visual edit

curprev 17:2317:23, 4 July 2018‎ Dgpop talk contribs‎ 1,821 bytes −2‎ →‎top: better template undo
curprev 17:2017:20, 4 July 2018‎ Dgpop talk contribs‎ 1,823 bytes +80‎ multiple issues undo

curprev 03:2203:22, 30 June 2018‎ Dgpop talk contribs‎ 1,743 bytes −44‎ →‎External links: theory topic is not part of a programming language family undo

curprev 12:0912:09, 6 June 2016‎ Ruud Koot talk contribs‎ 1,787 bytes +135‎ →‎References: * Jacques Garrigue (2004). [http://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf "Relaxing the Value Restriction"]. undo

curprev 17:4217:42, 2 February 2014‎ LilHelpa talk contribs‎ 1,652 bytes +7‎ Typo fixing and general fixes - sandard -> standard (title change confirmed) using AWB undo

curprev 14:5414:54, 28 March 2013‎ Ruud Koot talk contribs‎ 1,645 bytes +455‎ →‎References: some more undo

curprev 08:1508:15, 12 September 2012‎ 131.211.81.8 talk‎ 1,190 bytes +95‎ →‎References: Mads Tofte (1988). ''Operational Semantics and Polymorphic Type Inference''. PhD thesis. undo

curprev 14:2114:21, 28 March 2012‎ Ruud Koot talk contribs‎ 1,095 bytes +386‎ Andrew Wright (1995). "[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096 Simple imperative polymorphism]". In ''LISP and Symbolic Computation'', p. 343–356. undo

curprev 22:4522:45, 14 December 2011‎ Ruud Koot talk contribs‎ 709 bytes +709‎ ←Created page with 'In functional programming, in particular the ML (programming language) programming language family, the '''value restriction''' means that [[declaration...'

Retrieved from "https://en.wikipedia.org/wiki/Value_restriction"