Lambda the Ultimate

type	title	author	last post
Forum topic	Is character as a type meaningless? re: do it yourself meta programming by dmbarbour Search for Representations by dmbarbour Re flexibility by dmbarbour Strategies without Commitment by dmbarbour Ratcheted Abstractions by dmbarbour Primacy of Text by dmbarbour	Mats	2020-09-16 20:52
Forum topic	Godel and Meta-Circularity Universe Quota by dmbarbour	Matt M	2020-09-16 03:37
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Constraint Solver Type Checker by dmbarbour	Eduardo León	2020-08-30 14:57
Story	Applications of Blockchain to Programming Language Theory Block chains and PL by dmbarbour	Z-Bo	2020-04-23 14:47
Forum topic	IEEE Scheme expiring soon re first JIT by dmbarbour	johnwcowan	2020-04-14 07:48
Story	Applied Category Theory - The Emerging Science of Compositionality re LabVIEW by dmbarbour	Manuel J. Simoni	2019-09-10 22:22
Forum topic	Streaming Language Rewrite Processing (SLRP) Finite state and bounded block depth by dmbarbour counting black sheep by dmbarbour re counting sheep by dmbarbour re prioritization without pointers by dmbarbour re unfamiliarity by dmbarbour re hardware caps and sliding windows by dmbarbour re Loops and messages by dmbarbour re Code with Data by dmbarbour re Copying by dmbarbour re Silicon Area by dmbarbour ...	dmbarbour	2019-08-13 03:22
Forum topic	Session Types for Purely Functional Process Networks re abcd by dmbarbour Stateful Loops by dmbarbour re Syndicate by dmbarbour	dmbarbour	2019-08-02 12:50
Forum topic	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" miniKanren by dmbarbour	mamcx	2019-06-08 16:17
Story	Selective Functors better bases for Selective by dmbarbour	Z-Bo	2019-03-05 18:39
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing Type descriptors by dmbarbour Re def of type by dmbarbour re meaning by dmbarbour re program generation by dmbarbour hard to debug, because you by dmbarbour re type constraint systems by dmbarbour re types and flaws and change by dmbarbour type inference and metaprogramming by dmbarbour Mathematical reasoning is by dmbarbour re: minimize conversation with a computer by dmbarbour ...	AntC	2019-02-25 23:25
Forum topic	Major problems with access Thanks! by dmbarbour	const	2019-02-24 09:31
Story	On compositionality Are you seriously trying to by dmbarbour re high level language by dmbarbour Real tradeoffs by dmbarbour Programmers have problems by dmbarbour I want a language where the by dmbarbour re performance by dmbarbour From my perspective, it's by dmbarbour re Usefulness by dmbarbour No by dmbarbour re not alone by dmbarbour ...	Charles Stewart	2018-10-23 17:45
Story	"C Is Not a Low-level Language" compiling undefined behavior by dmbarbour	Allan McInnes	2018-08-02 15:16
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules lexical scope for meta-programs by dmbarbour	Andris Birkmanis	2018-05-21 07:37
Forum topic	Popr Tutorial: Dot Machines popr wormholes? by dmbarbour problems with popr, rephrased by dmbarbour re: arity inference part nauseum by dmbarbour not just display is incorrect by dmbarbour preserving behavioral equivalence by dmbarbour re: Inferring arity by dmbarbour certain values of 'fixed it' by dmbarbour Semantic hacks by dmbarbour Re: resolved once by dmbarbour Re: explicit arity syntax by dmbarbour ...	Dustin DeWeese	2018-04-18 22:18
Story	Sequent Calculus as a Compiler Intermediate Language GHC sequent-core by dmbarbour	Andris Birkmanis	2018-04-03 01:18
Forum topic	Egel Language v0.0.2 atomic strings? by dmbarbour	marco	2018-03-23 22:12
Forum topic	Are "jets" a good idea? Behavioral OBJ by dmbarbour Simpler approach by dmbarbour Ah. by dmbarbour Testing isn't proof. by dmbarbour eventual standardization by dmbarbour Fast jets by dmbarbour accelerators and annotations by dmbarbour Re: fractally wrong by dmbarbour Theory of concatenative combinators by dmbarbour Logically broadcast, physically point to point by dmbarbour ...	xkapastel	2018-03-16 14:28
Forum topic	Are Monads a Waste of Time? forms of analogy and states of reality by dmbarbour re: global broadcast by dmbarbour re: identity in real world by dmbarbour algebraic effects again by dmbarbour sequential DSLs, generalizations by dmbarbour re: Practical Alternatives by dmbarbour re: favoring identity-less state by dmbarbour re: Historical by dmbarbour re: Effects by dmbarbour substructural types for requirements by dmbarbour ...	Keean Schupke	2018-03-16 00:59
Forum topic	Bottom Not necessarily inconsistent by dmbarbour intuitionistic logic by dmbarbour	marco	2018-03-10 18:20
Forum topic	Anything recent happening with multi-stage programming? Lightweight multi-stage via temporal logics by dmbarbour Multi-stage programming and Generalized Arrows by dmbarbour	David Teller	2018-03-08 16:18
Forum topic	Interesting new paper from T. Sweeney and others re: long compiles in C++ by dmbarbour I think you're contributing by dmbarbour Re: depends on quantity and size by dmbarbour Isn't a really long by dmbarbour I would like to see some by dmbarbour Our language has two key by dmbarbour	jasonwatkinspdx	2018-01-22 05:09
Forum topic	Refining Structured Type System Try using Church-encodings by dmbarbour Negating types, not terms by dmbarbour Negation vs negative by dmbarbour Unit by dmbarbour Some bad logic by dmbarbour (ignore) by dmbarbour Re: negating types by dmbarbour type specific languages by dmbarbour	Ivan V.	2017-12-31 16:52
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Relevance? by dmbarbour parallelism, concurrency, and copies by dmbarbour I feel we're talking past by dmbarbour assignment calculus by dmbarbour state space of objects, by dmbarbour not just essential vs. algorithmic state by dmbarbour store by dmbarbour validation and complexity by dmbarbour the dose makes the poison by dmbarbour Knives and fire are necessary by dmbarbour ...	Vladimir Slepnev	2017-12-01 12:08
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