Find link

Journal of Functional Programming not in Implicit computational complexity

language:

Find link is a tool written by Edward Betts.

searching for Journal of Functional Programming 64 found (98 total)

alternate case: journal of Functional Programming

Brodal queue (914 words) [view diff] exact match in snippet view article find links to article

Okasaki (1996). Optimal purely functional priority queues. Journal of Functional Programming. Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald

Weight-balanced tree (1,925 words) [view diff] exact match in snippet view article find links to article

Yamamoto, K. (2011). "Balancing weight-balanced trees" (PDF). Journal of Functional Programming. 21 (3): 287. doi:10.1017/S0956796811000104. Roura, Salvador

Binomial heap (2,566 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Cormen, Thomas

Sieve of Eratosthenes (3,057 words) [view diff] exact match in snippet view article find links to article

O'Neill, Melissa E., "The Genuine Sieve of Eratosthenes", Journal of Functional Programming, published online by Cambridge University Press 9 October

Parser combinator (1,678 words) [view diff] exact match in snippet view article find links to article

Hutton, Graham (1992). "Higher-order functions for parsing". Journal of Functional Programming. 2 (3): 323–343. CiteSeerX 10.1.1.34.1287. doi:10.1017/s0956796800000411

Type erasure (189 words) [view diff] exact match in snippet view article find links to article

(2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming. 12 (6): 567–600. CiteSeerX 10.1.1.5.4507. doi:10.1017/S0956796801004282

Purely functional programming (907 words) [view diff] exact match in snippet view article find links to article

(January 1993). "What is a purely functional language?". Journal of Functional Programming. 8 (1): 1–22. CiteSeerX 10.1.1.27.7800. doi:10.1017/S0956796897002943

Applicative programming language (182 words) [view diff] exact match in snippet view article find links to article

Ross (2008-01-01). "Applicative programming with effects". Journal of Functional Programming. 18 (1): 1–13. CiteSeerX 10.1.1.114.1555. doi:10.1017/S0956796807006326

Arrow (computer science) (1,549 words) [view diff] exact match in snippet view article

Yallop, Jeremy (January 2010). "The Arrow Calculus" (PDF). Journal of Functional Programming. 20 (1): 51–69. doi:10.1017/S095679680999027X. hdl:1842/3716

Typed lambda calculus (738 words) [view diff] exact match in snippet view article find links to article

Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240

Session type (898 words) [view diff] exact match in snippet view article find links to article

(2017). "A simple library implementation of binary sessions". Journal of Functional Programming. 27 e4. doi:10.1017/S0956796816000289. hdl:2318/1634956. ISSN 0956-7968

Jean Vuillemin (364 words) [view diff] exact match in snippet view article find links to article

Hinze, Ralf (January 1999), "Explaining binomial heaps", Journal of Functional Programming, 9 (1): 93–104, doi:10.1017/s0956796899003317 Weiss, Mark

Racket (programming language) (3,213 words) [view diff] exact match in snippet view article

"DrScheme: A Programming Environment for Scheme" (PDF). Journal of Functional Programming. Felleisen; Findler; Flatt; Krishnamurthi (2004). "The TeachScheme

S-expression (1,716 words) [view diff] exact match in snippet view article find links to article

2009). "Revised6 Report on the Algorithmic Language Scheme". Journal of Functional Programming. 19 (S1): 1–301. CiteSeerX 10.1.1.372.373. doi:10.1017/S0956796809990074

Explicit substitution (713 words) [view diff] exact match in snippet view article find links to article

Cardelli, P-L. Curien and J-J. Levy, Explicit Substitutions, Journal of Functional Programming 1, 4 (October 1991), 375–416. P-A. Melliès: Typed lambda-calculi

Graph reduction machine (324 words) [view diff] exact match in snippet view article find links to article

Colin (2012). "The Reduceron reconfigured and re-evaluated". Journal of Functional Programming. 22 (4–5): 574–613. doi:10.1017/S0956796812000214. ISSN 1469-7653

Transformation semigroup (1,050 words) [view diff] exact match in snippet view article find links to article

Jaskelioff, Mauro (2017). "Notions of Computation as Monoids". Journal of Functional Programming. 27 (e21). arXiv:1406.4823. doi:10.1017/S0956796817000132

David Turner (computer scientist) (845 words) [view diff] exact match in snippet view article

Laboratory, University of Kent, March 1998. Under submission to "Journal of Functional Programming". Ensuring Termination in ESFP, A. J. Telford and D. A. Turner

Constructed product result analysis (143 words) [view diff] exact match in snippet view article find links to article

2004). "Constructed Product Result Analysis for Haskell". Journal of Functional Programming. 14 (2): 211–245. CiteSeerX 10.1.1.6.1903. doi:10.1017/S0956796803004751

Rocq (1,882 words) [view diff] exact match in snippet view article find links to article

about recursive programs using the Coq proof assistant". Journal of Functional Programming. 32. doi:10.1017/S0956796822000107. ISSN 0956-7968. Gonthier

Bridge and torch problem (1,146 words) [view diff] exact match in snippet view article find links to article

ISBN 0-385-17165-X. Erwig, Martin (2004). "Escape from Zurg" (PDF). Journal of Functional Programming, Vol. 14, No. 3. pp. 253–261. Slides of the Capacity C Torch

Set (abstract data type) (2,958 words) [view diff] exact match in snippet view article

2006-01-12 Stephen Adams, "Efficient sets: a balancing act", Journal of Functional Programming 3(4):553-562, October 1993. Retrieved on 2015-03-11. "ECMAScript

Glasgow Haskell Compiler (1,872 words) [view diff] exact match in snippet view article find links to article

hardware: the Spineless Tagless G-machine, Version 2.5". Journal of Functional Programming. 2 (2): 127–202. doi:10.1017/S0956796800000319. "Haskell 98

Applicative functor (594 words) [view diff] exact match in snippet view article find links to article

Ross (2008-01-01). "Applicative programming with effects". Journal of Functional Programming. 18 (1): 1–13. CiteSeerX 10.1.1.114.1555. doi:10.1017/S0956796807006326

Heap (data structure) (2,918 words) [view diff] exact match in snippet view article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Minimum message length (1,382 words) [view diff] exact match in snippet view article find links to article

machine learning and data mining in functional programming". Journal of Functional Programming. 15 (1): 15–32. doi:10.1017/S0956796804005301. S2CID 5218889

Skew binomial heap (2,409 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Buchsbaum,

How to Design Programs (741 words) [view diff] exact match in snippet view article find links to article

Structure and Interpretation of the Computer Science Curriculum. Journal of Functional Programming, Volume 14, Issue 4 (July 2004) Pages: 365 - 378 (PDF), NEU

Setoid (532 words) [view diff] exact match in snippet view article find links to article

Venanzio; Pons, Olivier (2003), "Setoids in type theory" (PDF), Journal of Functional Programming, 13 (2): 261–293, doi:10.1017/S0956796802004501, MR 1985376

Actor model theory (1,545 words) [view diff] exact match in snippet view article find links to article

and Carolyn Talcott. A Foundation for Actor Computation Journal of Functional Programming January 1993. Satoshi Matsuoka and Akinori Yonezawa. Analysis

Fudgets (442 words) [view diff] exact match in snippet view article find links to article

by Johan Jeuring and Erik Meijer, Springer-Verlag, 1995". Journal of Functional Programming. 9 (1): 105–111. doi:10.1017/S0956796899223246. ISSN 1469-7653

History of the Scheme programming language (2,040 words) [view diff] exact match in snippet view article find links to article

2009). "Revised6 Report on the Algorithmic Language Scheme". Journal of Functional Programming. 19 (S1): 1–301. CiteSeerX 10.1.1.154.5197. doi:10.1017/S0956796809990074

Type inference (3,674 words) [view diff] case mismatch in snippet view article find links to article

Jouvelot. "Polymorphic type, region and effect inference." Journal of functional programming 2.3 (1992): 245-271. Hassan, Mostafa; Urban, Caterina; Eilers

Lazy evaluation (3,602 words) [view diff] exact match in snippet view article find links to article

(September 2000). "Uniform confluence in concurrent computation". Journal of Functional Programming. 10 (5): 453–499. doi:10.1017/S0956796800003762. S2CID 66013

Fibonacci heap (3,785 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Skew binary number system (1,120 words) [view diff] exact match in snippet view article find links to article

Chris (November 1996). "Optimal purely functional priority queues". Journal of Functional Programming. 6 (6): 839–857. doi:10.1017/s095679680000201x.

Set theory (6,611 words) [view diff] exact match in snippet view article find links to article

1993), "Functional Pearls Efficient sets—a balancing act", Journal of Functional Programming, 3 (4): 553–561, doi:10.1017/S0956796800000885, ISSN 1469-7653

Pairing heap (2,270 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Mathematics of paper folding (4,017 words) [view diff] exact match in snippet view article find links to article

2005). "Countdown: A case study in origami programming". Journal of Functional Programming. 15 (5): 679–702. doi:10.1017/S0956796805005642. ISSN 1469-7653

Sieve of Pritchard (2,912 words) [view diff] exact match in snippet view article find links to article

(1997). "Lazy Wheel Sieves and Spirals of Primes" (PDF). Journal of Functional Programming. 7 (2): 219–225. doi:10.1017/S0956796897002670. S2CID 2422563

Mogensen–Scott encoding (1,781 words) [view diff] exact match in snippet view article find links to article

(1994). "Efficient Self-Interpretation in Lambda Calculus". Journal of Functional Programming. 2 (3): 345–364. doi:10.1017/S0956796800000423. S2CID 8736707

Epigram (programming language) (949 words) [view diff] exact match in snippet view article

Conor; McKinna, James (2004). "The view from the left". Journal of Functional Programming. 14: 69–111. doi:10.1017/S0956796803004829. S2CID 6232997

Stern–Brocot tree (2,575 words) [view diff] exact match in snippet view article find links to article

Richard (2006), "Functional pearl: Enumerating the rationals", Journal of Functional Programming, 16 (3): 281–291, doi:10.1017/S0956796806005880, S2CID 14237968

Priority queue (5,008 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Byte Sieve (1,555 words) [view diff] exact match in snippet view article find links to article

Melissa (January 2009). "The Genuine Sieve of Eratosthenes". Journal of Functional Programming. 19 (1): 95–106. doi:10.1017/S0956796808007004. S2CID 1309380

Fold (higher-order function) (2,787 words) [view diff] exact match in snippet view article

tutorial on the universality and expressiveness of fold" (PDF). Journal of Functional Programming. 9 (4): 355–372. doi:10.1017/S0956796899003500. Retrieved

Binary heap (5,124 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Spreadsheet (9,711 words) [view diff] exact match in snippet view article find links to article

language to explore the boundaries of the spreadsheet paradigm". Journal of Functional Programming. 11 (2): 155–206. doi:10.1017/S0956796800003828. S2CID 18730312

Simon Thompson (professor) (624 words) [view diff] exact match in snippet view article

Richards, Hamilton (November 1998). "Book reviews" (PDF). Journal of Functional Programming. 8 (6): 633–637. doi:10.1017/S0956796898213220. Official website

Scheme (programming language) (8,139 words) [view diff] exact match in snippet view article

2014). "A run-time representation of scheme record types". Journal of Functional Programming. 24 (6): 675–716. doi:10.1017/S0956796814000203. S2CID 40001845

Reversible programming language (4,045 words) [view diff] exact match in snippet view article find links to article

"Sparcl: A language for partially invertible computation". Journal of Functional Programming. 34 e2. doi:10.1017/S0956796823000126. Reversible programming

Actor model (7,145 words) [view diff] exact match in snippet view article find links to article

Talcott (January 1993). "A Foundation for Actor Computation". Journal of Functional Programming. Carl Hewitt (2006-04-27). "What is Commitment? Physical,

MapReduce (5,503 words) [view diff] exact match in snippet view article find links to article

(2017). "An algebra for distributed Big Data analytics". Journal of Functional Programming. 28. doi:10.1017/S0956796817000193. S2CID 44629767. Lin, Jimmy

Sanskrit (28,064 words) [view diff] exact match in snippet view article find links to article

phonological processing, application to a Sanskrit tagger". Journal of Functional Programming. 15 (4). Cambridge University Press: 573–614. doi:10.1017/S0956796804005416

Predicate transformer semantics (3,377 words) [view diff] exact match in snippet view article find links to article

"Hoare Type Theory, Polymorphism and Separation" (PDF). Journal of Functional Programming. 18 (5–6): 865–911. doi:10.1017/S0956796808006953. S2CID 6956622

Red–black tree (9,363 words) [view diff] exact match in snippet view article find links to article

(1999-01-01). "Red–black trees in a functional setting". Journal of Functional Programming. 9 (4): 471–477. doi:10.1017/S0956796899003494. ISSN 1469-7653

Monad (functional programming) (9,276 words) [view diff] exact match in snippet view article

(2008). "Data types à la carte" (PDF). Functional Pearl. Journal of Functional Programming. 18 (4). Cambridge University Press: 423–436. CiteSeerX 10

Implicit computational complexity (1,348 words) [view diff] exact match in snippet view article find links to article

expressive power of higher-order types or, life without CONS". Journal of Functional Programming. 11 (1): 55–94. doi:10.1017/S0956796800003889. Bellantoni

Curry–Howard correspondence (6,372 words) [view diff] exact match in snippet view article find links to article

(1998), "Computational types from a logical perspective", Journal of Functional Programming, 8 (2): 177–193, CiteSeerX 10.1.1.258.6004, doi:10.1017/s0956796898002998

Unification (computer science) (7,361 words) [view diff] exact match in snippet view article

2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957

Comparison of data structures (1,345 words) [view diff] exact match in snippet view article find links to article

(November 1996), "Optimal purely functional priority queues", Journal of Functional Programming, 6 (6): 839–857, doi:10.1017/s095679680000201x Okasaki, Chris

Algorithmic skeleton (8,819 words) [view diff] exact match in snippet view article find links to article

Ricardo Peña-Marí. "Parallel Functional Programming in Eden", Journal of Functional Programming, No. 15(2005),3, pages 431–475 Murray Cole. "Bringing skeletons

Strict Fibonacci heap (6,087 words) [view diff] exact match in snippet view article find links to article

(November 1996). "Optimal purely functional priority queues". Journal of Functional Programming. 6 (6): 839–857. doi:10.1017/S095679680000201X. ISSN 0956-7968

Program Inversion, Interpretation, and Injectivization (4,485 words) [view diff] exact match in snippet view article find links to article

"Sparcl: A language for partially invertible computation". Journal of Functional Programming. 34 e2. doi:10.1017/S0956796823000126. Program Inversion,