User contributions
Jump to navigation
Jump to search
- 05:03, 21 July 2022 diff hist +82 Publications
- 05:01, 21 July 2022 diff hist +151 Publications
- 15:12, 20 July 2022 diff hist +1,721 N Lam2Combi Created page with "'''This article is a stub, and is currently a work in progress''' In this tutorial we will show how to translate lambda terms into structured combinators, by building a simpl..."
- 12:18, 15 May 2022 diff hist +43 Main Page
- 12:43, 3 May 2022 diff hist +18 Fibs and Facts →Fibonacci current
- 12:43, 3 May 2022 diff hist 0 N File:Fib.png current
- 12:34, 3 May 2022 diff hist +29 Hanoi Towers current
- 12:33, 3 May 2022 diff hist -2 Hanoi Towers
- 12:32, 3 May 2022 diff hist +1,740 N Hanoi Towers Created page with " == Source == data Bool = False | True ; data List = Cons x y | Nil ; data Pair = Pair a b; -- put x = out (extern 0x10a1fafa) x; -- printlist xs z = xs (z)..."
- 12:31, 3 May 2022 diff hist 0 N File:Hanoi.png current
- 12:23, 3 May 2022 diff hist +19 Combinator Pearls
- 12:22, 3 May 2022 diff hist +4 Fibs and Facts
- 12:22, 3 May 2022 diff hist +352 N Fibs and Facts Created page with "Fibonacci and Factorial are two of the basic examples for functional programming languages. Here we show their implementation in Wu. == Fibonacci == fib n = (> 2 n) 1 (+ 1..."
- 12:10, 3 May 2022 diff hist +6,070 N Sorting Created page with "In 1998, Lex Augusteijn published a now-classic paper entitled "[https://doi.org/10.1007/10704973_1 Sorting Morphisms]", where he redefined common sorting algorithms in terms..." current
- 11:19, 3 May 2022 diff hist 0 Fizzbuzzing →The lazy approach
- 11:18, 3 May 2022 diff hist +23 Algebraic Data Structures →Wheels current
- 11:12, 3 May 2022 diff hist 0 Algebraic Data Structures →Wheels
- 11:12, 3 May 2022 diff hist +1 Algebraic Data Structures →Wheels
- 11:10, 3 May 2022 diff hist +36 Algebraic Data Structures
- 11:09, 3 May 2022 diff hist -7 Algebraic Data Structures
- 11:09, 3 May 2022 diff hist +1,221 N Algebraic Data Structures Created page with "Algebraic data types are a fundamental part of modern functional programming languages, which allows the definition of complex composite types. They are algebraic, as are buil..."
- 09:44, 3 May 2022 diff hist +10 Combinator Pearls
- 09:11, 3 May 2022 diff hist +22 Combinator Pearls
- 09:09, 3 May 2022 diff hist +1,383 N Fizzbuzzing Created page with "'''This article is a stub, and is currently a work in progress''' [https://en.wikipedia.org/wiki/Fizz_buzz FizzBuzz] is a common toy program for screening candidates on inte..."
- 08:25, 3 May 2022 diff hist +183 Main Page
- 08:20, 3 May 2022 diff hist -25 Main Page
- 08:19, 3 May 2022 diff hist +31 Main Page
- 08:18, 3 May 2022 diff hist +265 N Combinator Pearls Created page with "This page lists programming examples for fun and ''functional pearls'', programs that albeit simple can show and teach interesting principles and techniques. *Fibs and Fact..."
- 07:54, 3 May 2022 diff hist +3 Publications
- 07:53, 3 May 2022 diff hist +30 Publications
- 07:52, 3 May 2022 diff hist +161 Publications
- 07:49, 3 May 2022 diff hist -1 Publications
- 07:46, 3 May 2022 diff hist +969 N Publications Created page with "This page lists publications, theses and talks about ''fun'' and related topics. == 2018 == Cecil Accetti, Eshton Robateau and Peilin Liu. "Tackling Computer Security Issu..."
- 07:02, 3 May 2022 diff hist +19 Main Page
- 06:09, 3 May 2022 diff hist -1 Main Page
- 06:09, 3 May 2022 diff hist +21 Main Page
- 06:08, 3 May 2022 diff hist +3 Main Page
- 06:05, 3 May 2022 diff hist +93 Main Page
- 06:01, 3 May 2022 diff hist 0 N File:Logo-sjtu-red.png current
- 06:01, 3 May 2022 diff hist 0 N File:Logo-batc.png current
- 14:20, 26 April 2022 diff hist -127 Main Page
- 12:34, 26 April 2022 diff hist -4 Main Page
- 11:46, 26 April 2022 diff hist -21 Main Page
- 11:39, 26 April 2022 diff hist +73 Main Page
- 11:32, 26 April 2022 diff hist +39 N Structured Combinators Created page with "<strong>Structured Combinators</strong>" current
- 11:29, 26 April 2022 diff hist -266 Main Page
- 11:25, 26 April 2022 diff hist +204 Main Page
- 11:20, 26 April 2022 diff hist +73 Main Page
- 11:19, 26 April 2022 diff hist +145 Main Page
- 11:05, 26 April 2022 diff hist -311 Main Page
