Lambda the Ultimate

type	title	author	last post
Forum topic	Non-determinism: a sublanguage rather than a monad Position not changed. by Keean Schupke Frameworks by Keean Schupke Interesting by Keean Schupke Simulation by Keean Schupke Removing IO. by Keean Schupke Functional composition of imperative programs by Keean Schupke How? by Keean Schupke Not the real world? by Keean Schupke Representing Time. by Keean Schupke Monads and Nondeterminism by Keean Schupke ...	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C Magic type system by Keean Schupke Terminology by Keean Schupke Not C++ by Keean Schupke Lambdas by Keean Schupke Pragmatism? by Keean Schupke Little-endian or big-endian by Keean Schupke Not Reflectivity by Keean Schupke	bryanedds	2017-09-29 19:00
Forum topic	SK in Prolog Iterative deepening by Keean Schupke	marco	2017-09-10 07:05
Forum topic	Reversing operations Enfilades by Keean Schupke	Pablo Barenbaum	2017-09-08 16:08
Forum topic	Something I forgot Existential Abstract Names by Keean Schupke Static Naming by Keean Schupke Two implementations, same structure by Keean Schupke Substructural Types. by Keean Schupke Church Encodings and Existentials. by Keean Schupke External References by Keean Schupke Categories and objects by Keean Schupke Vehicle Factories by Keean Schupke Mutation and Identity by Keean Schupke Substructural Types, Locations and Type-Classes by Keean Schupke ...	marco	2017-08-26 06:44
Forum topic	hobbes, Morgan Stanley OSS Refinement Types by Keean Schupke Region allocation by Keean Schupke Rust by Keean Schupke	Kalani	2017-07-27 14:55
Forum topic	What would be involved in moving logic beyond FOL? Decidability by Keean Schupke Path Lengths. by Keean Schupke Higher order with respect to what object. by Keean Schupke . by Keean Schupke Transitive Closure is First Order by Keean Schupke Higher Order by Keean Schupke The relational part. by Keean Schupke What language? by Keean Schupke Understanding by Keean Schupke SQL by Keean Schupke	Charles Stewart	2017-07-14 15:18
Forum topic	How to name the inverse functions of constructors Verification by Keean Schupke Machine numbers by Keean Schupke Record Accessor Functions by Keean Schupke	hbrandl	2017-07-03 00:16
Story	Type Systems as Macros Equivalence? by Keean Schupke Unification by Keean Schupke	naasking	2017-06-25 11:19
Forum topic	Restructor: Full Program Automatic Refactoring No normal form by Keean Schupke	Wouter	2017-06-16 21:17
Forum topic	Finding Solutions vs. Verifying Solutions Godel's Revenge by Keean Schupke	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem Conpleteness by Keean Schupke Nothing much by Keean Schupke Equality by Keean Schupke	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Type any lambda by Keean Schupke Isomorphic by Keean Schupke Proof by Keean Schupke	marco	2017-05-16 02:03
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! What is a general mathematician? by Keean Schupke No true Brit. by Keean Schupke No true Scotsman. by Keean Schupke Agreement by Keean Schupke Subprograms by Keean Schupke Not IO by Keean Schupke Stepanov by Keean Schupke In some sense true. by Keean Schupke All backwards by Keean Schupke Concrete Monad by Keean Schupke ...	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Sure by Keean Schupke Go by Keean Schupke Incomplete information by Keean Schupke Performance and Generic Game Competitions. by Keean Schupke	davidb	2017-05-03 22:47
Forum topic	Making a one-pass compiler by generating fexprs that generate code Composable Type Inference by Keean Schupke	Josh Scholar	2017-04-14 19:51
Forum topic	Compiler IDE API Web Browser by Keean Schupke Probably Right by Keean Schupke The 'Kind' of Parsing Errors by Keean Schupke Wishful Thinking by Keean Schupke	Keean Schupke	2017-04-14 06:08
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Evidence? by Keean Schupke	Achilleas Margaritis	2017-03-31 19:14
Forum topic	notes on a C-ish memory manager design Brown? by Keean Schupke N:M concurrency by Keean Schupke	Rys McCusker	2017-03-27 16:24
Story	Contextual isomorphisms Extensional or Intentional by Keean Schupke	gasche	2017-03-10 16:30
Forum topic	CFL parsing, and another way to look at the CNF... Structure by Keean Schupke Conflated by Keean Schupke Parsing and type checking by Keean Schupke	Cyril	2017-03-07 07:27
Forum topic	Controlling Reductions One order by Keean Schupke Overlapping and Pure Prolog by Keean Schupke	skaller	2017-03-05 08:04
Forum topic	Process Network for Effects, Monad Alternative Joining it up by Keean Schupke Python by Keean Schupke	dmbarbour	2017-02-20 06:09
Forum topic	How will look a modern imperative language? All love here is functional only.. Special Case by Keean Schupke Threading by Keean Schupke Directed by Keean Schupke Objects and Methods by Keean Schupke Static Information and Program Correctness. by Keean Schupke Peformance, Objects and Monads. by Keean Schupke Why a straight jacket? by Keean Schupke Typing 'C' by Keean Schupke Trivial difference? by Keean Schupke	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Reading and Understanding by Keean Schupke Module import by Keean Schupke Bad? by Keean Schupke	Matt M	2017-02-07 04:40
first page previous page 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