Find link

language:

Find link is a tool written by Edward Betts.

searching for International Conference on Functional Programming 45 found (62 total)

alternate case: international Conference on Functional Programming

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

International Conference on Functional Programming. Findler, R. B.; Flatt, M. (2004). "Slideshow: Functional Presentations". International Conference

Generalized algebraic data type (1,325 words) [view diff] exact match in snippet view article find links to article

Inference for GADTs" (PDF). Proceedings of the ACM International Conference on Functional Programming (ICFP'06), Portland. Sulzmann, Martin; Wazny, Jeremy;

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

Semantics for Core Erlang: Exceptions and Side Effects. International Conference on Functional Programming (ICFP). Online – via ACM SIGPLAN. Thompson, Simon

Liquid Haskell (180 words) [view diff] exact match in snippet view article find links to article

of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10

F* (programming language) (430 words) [view diff] exact match in snippet view article

types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Vol. 46. Tokyo, Japan: Association for Computing

Matthew Flatt (468 words) [view diff] case mismatch in snippet view article find links to article

compilable macros". Proceedings of the seventh ACM SIGPLAN international conference on Functional programming. ICFP '02. New York, NY, USA: Association for Computing

Bidirectionalization (62 words) [view diff] exact match in snippet view article find links to article

Kazutaka Matsuda, and Meng Wang. Combining Syntactic and Semantic Bidirectionalization. International Conference on Functional Programming 2010. v t e

Ikarus (Scheme implementation) (460 words) [view diff] exact match in snippet view article

for R6RS libraries". Proc. of the 2007 ACM SIGPLAN International Conference on Functional Programming. Freiburg, Germany. pp. 303–314. Retrieved 2007-12-01

Hashed array tree (744 words) [view diff] exact match in snippet view article find links to article

Random-Access Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10

Lennart Augustsson (435 words) [view diff] case mismatch in snippet view article find links to article

types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX 10.1.1.47.155. doi:10.1145/289423

Boomerang (programming language) (113 words) [view diff] exact match in snippet view article

Pierce. Quotient Lenses. To appear in ACM SIGPLAN International Conference on Functional Programming (ICFP), Victoria, British Columbia, September, 2008

Polyvariance (215 words) [view diff] exact match in snippet view article find links to article

control-flow analysis". Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP 2016. New York, NY, USA: Association for Computing

Evaluation strategy (5,194 words) [view diff] case mismatch in snippet view article find links to article

languages". Proceedings of the fourth ACM SIGPLAN international conference on Functional programming. pp. 36–47. CiteSeerX 10.1.1.451.6513. doi:10.1145/317636

List of document markup languages (1,381 words) [view diff] exact match in snippet view article find links to article

Closing the Book on Ad Hoc Documentation Tools". International Conference on Functional Programming. "Scribble: The Racket Documentation Tool". SECST

Nix (package manager) (1,109 words) [view diff] exact match in snippet view article

Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. pp. 367–378. Burr, Chris; Clemencic, Marco; Couturier

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

Haskell Symposium. ICFP 2012 The 17th ACM SIGPLAN International Conference on Functional Programming. Copenhagen, Denmark: Association for Computing Machinery

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

Testing of Haskell Programs" (PDF). Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN. Retrieved January 29, 2006. Claessen

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

(functional pearl)", Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05) (PDF), SIGPLAN Notices, pp. 192–203, doi:10

David Turner (computer scientist) (845 words) [view diff] case mismatch in snippet view article

with the (V , G)-machine". Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89. pp

Dynamic array (2,102 words) [view diff] exact match in snippet view article find links to article

Random-Access Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10

Catamorphism (1,835 words) [view diff] case mismatch in snippet view article find links to article

occurrences". Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. ICFP '11. Catamorphisms at HaskellWiki Catamorphisms

LambdaNative (684 words) [view diff] case mismatch in snippet view article find links to article

applications" (PDF). Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Boston, MA: ACM. pp. 357–362. doi:10.1145/2500365

Filesystem Hierarchy Standard (1,582 words) [view diff] exact match in snippet view article find links to article

Linux Distribution (PDF). ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming. Victoria, British Columbia, Canada. pp. 367–378.

Partial application (1,290 words) [view diff] case mismatch in snippet view article find links to article

Languages", ICFP '04 Proceedings of the ninth ACM SIGPLAN international conference on Functional programming Benjamin C. Pierce et al. "Partial Application", Archived

Philip Wadler (1,031 words) [view diff] case mismatch in snippet view article find links to article

"Theorems for free!". Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89. p

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

to Nothing at All". Procedures of the ACM SIGPLAN International Conference on Functional Programming (ICFP). Archived from the original on 23 September

Incremental computing (1,189 words) [view diff] case mismatch in snippet view article find links to article

computing". Proceedings of the seventh ACM SIGPLAN international conference on Functional programming. New York: ACM. pp. 26–35. doi:10.1145/581478.581482

Type family (1,131 words) [view diff] case mismatch in snippet view article find links to article

type synonyms". Proceedings of the tenth ACM SIGPLAN international conference on Functional programming. ACM Press. pp. 241–253. doi:10.1145/1086365.1086397

Array (data structure) (3,412 words) [view diff] exact match in snippet view article

Random-Access Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10

Dependent type (2,609 words) [view diff] case mismatch in snippet view article find links to article

(PDF). ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming. pp. 39–50. doi:10.1145/1411204.1411213. ISBN 9781595939197

Multitier programming (2,772 words) [view diff] exact match in snippet view article find links to article

glimpse of Hopjs". Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. pp. 180–192. doi:10.1145/2951913.2951916. ISBN 9781450342193

Erlang (programming language) (4,768 words) [view diff] case mismatch in snippet view article

of Erlang". Proceedings of the second ACM SIGPLAN international conference on Functional programming. Vol. 32. pp. 196–203. doi:10.1145/258948.258967.

Standard ML (3,714 words) [view diff] exact match in snippet view article find links to article

Lessons from a Small Exercise in Algorithm Design". International Conference on Functional Programming 2000. ACM. "Standard ML Basis Library". smlfamily

Software testing (10,045 words) [view diff] case mismatch in snippet view article find links to article

"QuickCheck". Proceedings of the fifth ACM SIGPLAN international conference on Functional programming. Icfp '00. pp. 268–279. doi:10.1145/351240.351266

Brzozowski derivative (1,362 words) [view diff] case mismatch in snippet view article find links to article

functional pearl. Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming (ICFP). pp. 189–195. doi:10.1145/2034773.2034801.

Delimited continuation (2,279 words) [view diff] exact match in snippet view article find links to article

002. Gasbichler, Martin; Sperber, Michael (2002). International Conference on Functional Programming. CiteSeerX 10.1.1.11.3425. Johnson, Gregory F. (June

Linked list (7,792 words) [view diff] exact match in snippet view article find links to article

Random-Access Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10

CEK Machine (1,845 words) [view diff] case mismatch in snippet view article find links to article

abstract machines", Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, ACM, pp. 363–376, doi:10.1145/2628136.2628154, ISBN 9781450328739

Haskell features (3,537 words) [view diff] case mismatch in snippet view article find links to article

Singh) ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, Edinburgh, Scotland, August 2009 "DEFUN 2009: Multicore

Semiring (8,018 words) [view diff] case mismatch in snippet view article find links to article

Semirings" (PDF), Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, pp. 101–110, doi:10.1145/2500365.2500613, ISBN 9781450323260

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

Effects and Coeffects via Grading (PDF). 21st ACM International Conference on Functional Programming. Nara, Japan: Association for Computing Machinery

Interval arithmetic (8,146 words) [view diff] exact match in snippet view article find links to article

OCaml on x86/amd64 architectures. 17th ACM SIGPLAN International Conference on Functional Programming. IEEE Standard for Interval Arithmetic Nathalie Revol

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

Random-Access Lists". Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture: 86–95. doi:10

Hindley–Milner type system (8,534 words) [view diff] exact match in snippet view article find links to article

Inference with Subtyping Made Easy". 25th ACM SIGPLAN International Conference on Functional Programming - ICFP 2020, [Online event], August 24–26, 2020. doi:10

Open-source artificial intelligence (6,978 words) [view diff] exact match in snippet view article find links to article

functions at scale". Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP 2016. New York, NY, USA: Association for Computing