Lambda the Ultimate

type	title	author	last post
Forum topic	A case study of concatenative v.s. applicative syntax design How about prefix notation? by Ivan V.	xieyuheng	2025-03-23 02:54
Forum topic	Rewrite.js – a minimalist s-expr based term rewriting system Gödel's incompleteness by Ivan V. The problem with term by Ivan V. You're right by Ivan V.	Ivan V.	2023-04-23 09:37
Forum topic	BNFT (Backus Naur Form Transformation) tool released algorithm by Ivan V.	Poul Krogh	2020-09-11 19:42
Forum topic	Refining Structured Type System distinguishing top type from unit type by Ivan V. Unit, another try by Ivan V. Projection by Ivan V. Negating by Ivan V. A report by Ivan V. Flattening by Ivan V. Negation by Ivan V. DeMorgan by Ivan V. assertions vs. boolean check by Ivan V. If we write by Ivan V. ...	Ivan V.	2017-12-31 16:52
Forum topic	What would be involved in moving logic beyond FOL? Infinite paths/proofs by Ivan V. Halting problem? by Ivan V. Undecidable by Ivan V. Recursion by Ivan V. ZOL? by Ivan V.	Charles Stewart	2017-07-14 15:18
Forum topic	How to name the inverse functions of constructors details by Ivan V. inverse functions by Ivan V. compose / decompose by Ivan V.	hbrandl	2017-07-03 00:16
Forum topic	Finding Solutions vs. Verifying Solutions Tx for support, by Ivan V. (deleted comment) by Ivan V. I think I will, thank you by Ivan V. I might be wrong always, but... by Ivan V. No, you was right, by Ivan V. Ok, sorry, by Ivan V. Bananas? by Ivan V. Trying to answer all the questions by Ivan V. Stephen Cook by Ivan V. Inverse function interpretation by Ivan V. ...	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem It would be awesome by Ivan V.	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad FP vs TRS by Ivan V. I've got by Ivan V. I guess... by Ivan V. Hard to pick up interesting things by Ivan V.	marco	2017-05-16 02:03
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! An aproach... by Ivan V.	Sean McDirmid	2017-05-12 16:41
Forum topic	Compiler IDE API Compiling a source code by Ivan V. Appearance of an IDE could depend by Ivan V.	Keean Schupke	2017-04-14 06:08
Forum topic	CFL parsing, and another way to look at the CNF... Ambiguities by Ivan V.	Cyril	2017-03-07 07:27
Forum topic	Controlling Reductions Scheme code by Ivan V.	skaller	2017-03-05 08:04
Forum topic	Process Network for Effects, Monad Alternative Awelon implementation of addition and factorial? by Ivan V. Accelerators by Ivan V. Freedom by Ivan V. A solution to effects by Ivan V.	dmbarbour	2017-02-20 06:09
Story	Salon des Refusés -- Dialectics for new computer science Not all languages are suited by Ivan V.	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. Another example of duality? by Ivan V. The BNF-ish code by Ivan V. You ask if we are already by Ivan V. Semantics of C++ by Ivan V. Speed by Ivan V.	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Singularity by Ivan V.	Matt M	2017-02-07 04:40
Forum topic	Generic overload resolution Tuples by Ivan V.	Jon Purdy	2017-01-22 15:41
Forum topic	Unsoundness Interesting by Ivan V. fractal grammars by Ivan V. Seems sound by Ivan V. I see, by Ivan V. We can have by Ivan V. Type "2 * 4 + 6" as not being bijection? by Ivan V. some questions by Ivan V. Proxy by Ivan V.	skaller	2017-01-20 15:16
Story	Stroustrup's Rule and Layering Over Time re: Errors by Ivan V. I guess... by Ivan V. Curious by Ivan V. Semantics as an equivalence of different syntax forms by Ivan V.	Ehud Lamm	2017-01-04 21:43
Forum topic	Defining recursive function as a monad (or other solutions) Coffee by Ivan V. Re: Fixpoint combinators by Ivan V. Not across... by Ivan V. Take the power operation, by Ivan V. complete hereditary representation by Ivan V. down-arrow by Ivan V. Being near math now, by Ivan V. Math is a kind of science by Ivan V. For example by Ivan V. ? by Ivan V. ...	Ivan V.	2016-12-17 08:07
Forum topic	Eliminating left recursion Left recursion example by Ivan V. re: That's not an ambiguity, it's a feature by Ivan V. It's generalized parser with left recursion support by Ivan V. Eliminate or deal with it? by Ivan V.	skaller	2016-12-13 00:23
Forum topic	Implicit conversion (subtyping) vs Explicit conversion This is the set situation in by Ivan V.	Keean Schupke	2016-10-23 06:46
Forum topic	Bottom Types We can try with by Ivan V. NOT boolean-nil by Ivan V. Sum type by Ivan V. Re: In your logic by Ivan V. Relative complement by Ivan V. Questioning existence by Ivan V. Many faces of Nil by Ivan V.	Keean Schupke	2016-10-07 22:33
Forum topic	Compile and Statically Verify Self definition by Ivan V. Works, by Ivan V. Got it, by Ivan V. Albatros documentation? by Ivan V.	hbrandl	2016-10-07 07:12
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation