Lambda the Ultimate

type	title	author	last post
Forum topic	Best value for overloading? Standard Order by Keean Schupke Classifying sort algorithms by Keean Schupke Typeclasses order the chaos by Keean Schupke Type-classes are optimal for generic programming by Keean Schupke Type-classes, traits, implicits by Keean Schupke	naasking	2018-09-06 21:19
Story	Is Haskell the right language for teaching functional programming principles? Incremental Features by Keean Schupke	Ehud Lamm	2018-08-14 06:26
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Simple direct expression of the algorithm is better. by Keean Schupke Godel applies or you are wrong by Keean Schupke Syntax extension is bad, okay. by Keean Schupke Formal reasoning Vs approximate mathematics. by Keean Schupke Re: Or don't use macros by Keean Schupke	Andris Birkmanis	2018-05-21 07:37
Forum topic	terminology for scope of discourse, i.e. CS-domain Metaphors by Keean Schupke Resources or Materials by Keean Schupke	Rys McCusker	2018-05-01 23:49
Forum topic	Are "jets" a good idea? Broken Jets by Keean Schupke	xkapastel	2018-03-16 14:28
Forum topic	Are Monads a Waste of Time? Particle wave duality by Keean Schupke Implicit Monads by Keean Schupke Global Broadcasts by Keean Schupke Fix Imperative by Keean Schupke Actor Model for Parallelism by Keean Schupke Algorithms by Keean Schupke HList Paper by Keean Schupke Agreement? by Keean Schupke Lazy Languages by Keean Schupke Abstract Syntax by Keean Schupke ...	Keean Schupke	2018-03-16 00:59
Forum topic	GADTs as gaurds Weird Linker Steps by Keean Schupke A type variable is a type? by Keean Schupke Descriptors by Keean Schupke Metaprogramming by Keean Schupke Instance selection by Keean Schupke Differences by Keean Schupke Disequality Constraints by Keean Schupke Types for meta programming by Keean Schupke Types as meta constraints on value by Keean Schupke	Matt M	2018-03-14 20:29
Forum topic	Refining Structured Type System Universes and Categories. by Keean Schupke Dangerous by Keean Schupke The type of type by Keean Schupke Set theory models. by Keean Schupke Consequences by Keean Schupke Negation and Numbers by Keean Schupke Same precedence by Keean Schupke Numeric Precedence by Keean Schupke	Ivan V.	2017-12-31 16:52
Forum topic	Algebra Of Pointers Affine Space Over a Module by Keean Schupke What should they form by Keean Schupke I didn't see it. by Keean Schupke Realistic by Keean Schupke Reals vs Integers by Keean Schupke Integers and Vectors. by Keean Schupke Behaviour of Torsors by Keean Schupke Affine Space by Keean Schupke Pointer + Size by Keean Schupke Arrays of bytes by Keean Schupke ...	Keean Schupke	2017-12-30 13:48
Forum topic	A Functional Representation of Data Structures with a Hole (1998) The wheel turns. by Keean Schupke Parallel and Sequential by Keean Schupke Model of Computation by Keean Schupke Hypothesis: Update more common than copy by Keean Schupke Specifics. by Keean Schupke Conversation is useful by Keean Schupke Performance and Predictability by Keean Schupke Sets, lists and stacks. by Keean Schupke Not Sure. by Keean Schupke Large performance gains by Keean Schupke ...	Vladimir Slepnev	2017-12-01 12:08
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
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