Find link

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for Types and Programming Languages 30 found (48 total)

alternate case: types and Programming Languages

Programming language theory (1,613 words) [view diff] exact match in snippet view article find links to article

Benjamin C. (2002). Types and Programming Languages. MIT Press. Pierce, Benjamin C. Advanced Topics in Types and Programming Languages. Pierce, Benjamin
Latent typing (90 words) [view diff] exact match in snippet view article find links to article
 92–. ISBN 978-1-58488-360-9. Benjamin C. Pierce (January 2002). Types and Programming Languages. MIT Press. pp. 2–. ISBN 978-0-262-16209-8. v t e v t e
Parametric polymorphism (2,105 words) [view diff] exact match in snippet view article find links to article
polymorphism Trait (computer programming) Benjamin C. Pierce (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8. Strachey, Christopher (1967)
Type constructor (395 words) [view diff] exact match in snippet view article find links to article
HaskellWiki. Retrieved 15 August 2023. Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1., chapter 29, "Type Operators
Function type (557 words) [view diff] exact match in snippet view article find links to article
space, set-theoretic equivalent Pierce, Benjamin C. (2002). Types and Programming Languages. The MIT Press. pp. 99–100. ISBN 9780262162098. Mitchell, John
System F (2,532 words) [view diff] exact match in snippet view article find links to article
 4–56. doi:10.1006/inco.1994.1013. Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8., Chapter 26: Bounded quantification
Type safety (3,647 words) [view diff] case mismatch in snippet view article find links to article
Science. 2005. Retrieved 2023-09-15. Pierce, Benjamin C. (2002). Types and programming languages. Cambridge, Mass.: MIT Press. p. 158. ISBN 0-262-16209-1. Type
Coinduction (1,962 words) [view diff] exact match in snippet view article find links to article
language Logtalk (for examples see ) and SWI-Prolog. In his book Types and Programming Languages, Benjamin C. Pierce gives a concise statement of both the principle
Garbage (computer science) (1,076 words) [view diff] exact match in snippet view article
explicit exceptions. Benjamin Pierce (editor), Advanced Topics in Types and Programming Languages, MIT Press (2005), ISBN 0-262-16228-8 Richard Jones and Rafael
Abstract type (836 words) [view diff] exact match in snippet view article find links to article
Nageswara Rao "Abstract or Skeletal Interfaces Explained" [1] Types and Programming Languages by Benjamin Pierce (MIT Press 2002) [2] Abstract type at Rosetta
Subject reduction (185 words) [view diff] exact match in snippet view article find links to article
Benjamin C. (2002). "8.3 Safety=Progress + Preservation". Types and Programming Languages. MIT Press. pp. 95–98. ISBN 0262162091. LCCN 2001044428. v
Subtyping (4,046 words) [view diff] exact match in snippet view article find links to article
Built-in Types". Retrieved 2 October 2012. Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002, 15.1 "Subsumption", p. 181-182 Barbara Liskov
Trust, but verify (1,232 words) [view diff] exact match in snippet view article find links to article
Infrastructure Protection Center (U.S.). 2001. Pierce, Benjamin (2002). Types and Programming Languages. Cambridge, MA, USA: MIT Press. p. 194. ISBN 0-262-16209-1
Polymorphism (computer science) (1,862 words) [view diff] exact match in snippet view article
Pierce, B.C. (2002). "23.2 Varieties of Polymorphism". Types and Programming Languages. MIT Press. pp. 340–1. ISBN 9780262162098. Wand, Mitchell (June
Typed assembly language (188 words) [view diff] exact match in snippet view article find links to article
Morrisett. "Typed assembly language" in Advanced Topics in Types and Programming Languages. Editor: Benjamin C. Pierce. TALx86, a research project from
Bounded quantification (661 words) [view diff] exact match in snippet view article find links to article
Design and Implementation, 2001. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8., Chapter 26: Bounded quantification
Typing rule (811 words) [view diff] exact match in snippet view article find links to article
correspondence Sequent calculus Pierce, Benjamin C. (2002). Types and Programming Languages (1st ed.). Cambridge, Mass.: MIT Press. ISBN 0262162091. Baez
Lambda calculus (12,168 words) [view diff] exact match in snippet view article find links to article
January 2022. Types and Programming Languages, p. 273, Benjamin C. Pierce Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. p. 56
Substructural type system (1,366 words) [view diff] exact match in snippet view article find links to article
Systems". In Pierce, Benjamin C. (ed.). Advanced Topics in Types and Programming Languages (PDF). MIT Press. pp. 3–43. ISBN 0-262-16228-8. Bernardy, Jean-Philippe;
Tuple (2,224 words) [view diff] exact match in snippet view article find links to article
p. 9 D'Angelo & West 2000, p. 101 Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. pp. 126–132. ISBN 0-262-16209-1. Steve Awodey,
Dependent ML (204 words) [view diff] exact match in snippet view article find links to article
"Dependent Types". In Pierce, Benjamin C. (ed.) Advanced Topics in Types and Programming Languages. MIT Press. Official website, Hongwei Xi, ATS designer, maintainer
Type inference (3,676 words) [view diff] exact match in snippet view article find links to article
systems for natural languages. Benjamin C. Pierce (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8. "WG14-N3007 : Type inference
Free variables and bound variables (4,154 words) [view diff] exact match in snippet view article find links to article
 13–15. ISBN 978-0-521-53361-4. Pierce, Benjamin C. (2002). Types and Programming Languages. Cambridge, MA: MIT Press. pp. 59–62. ISBN 978-0-262-16209-8
Pure type system (1,168 words) [view diff] exact match in snippet view article find links to article
different approach to control than CPTS Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. p. 466. ISBN 0-262-16209-1. Kamareddine, Fairouz
Integer overflow (3,956 words) [view diff] exact match in snippet view article find links to article
(2008-08-22). "Features of Common Lisp". Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1. Wright, Andrew K.; Felleisen
Reduction strategy (2,608 words) [view diff] exact match in snippet view article find links to article
ISBN 9780521513746. Retrieved 21 August 2021. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. p. 56. ISBN 0-262-16209-1. Klop, Jan Willem; van
Type system (7,205 words) [view diff] exact match in snippet view article find links to article
1145/6041.6042. S2CID 2921816. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8. Cardelli, Luca (2004).
Lambda cube (3,237 words) [view diff] case mismatch in snippet view article find links to article
1016/s0049-237x(06)80015-7. ISBN 9780444520777. Pierce, Benjamin (2002). Types and programming languages. MIT Press. pp. 467–490. ISBN 978-0262162098. OCLC 300712077
Language-based security (2,160 words) [view diff] exact match in snippet view article find links to article
com. Retrieved 11 February 2004. Pierce, Benjamin C. (2002). Types and Programming Languages. The MIT Press. ISBN 9780262162098. Kozen, Dexter (1999). "Language
Glossary of artificial intelligence (29,481 words) [view diff] exact match in snippet view article find links to article
2020. Retrieved 18 November 2019. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8. Poole, David; Mackworth