Lambda the Ultimate

type	title	author	last post
Forum topic	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. May be send your comments to the Unicode folks? by Bakul Shah deleted by Bakul Shah Have you looked at this? by Bakul Shah	Ray Dillinger	2023-11-30 21:25
Forum topic	What is a type? Not quite the same as axiomatic ADT by Bakul Shah References? by Bakul Shah Algebraic or Axiomatic abstract data types by Bakul Shah	cpurdy	2023-01-25 22:53
Forum topic	Why is there no widely accepted progress for 50 years? Bluespec by Bakul Shah	Milton Silva	2021-06-09 23:27
Forum topic	Is there an existing name for my higher-order function? apply-with-args? by Bakul Shah	shawnbrown	2021-01-05 04:44
Forum topic	IEEE Scheme expiring soon "Uncode is badly designed" by Bakul Shah Unicode and Indic languages by Bakul Shah	johnwcowan	2020-04-14 07:48
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report APL has had fold and map since early 60s by Bakul Shah	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? With mmap you can overcommit by Bakul Shah	Alex Shpilkin	2016-05-13 11:57
Forum topic	Best successor to Scheme? What I was trying to say by Bakul Shah What the Scheme ecosystem needs by Bakul Shah	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Lisp allows arbitrary graphs while K is tree oriented by Bakul Shah	raould	2016-04-24 16:35
Forum topic	Earl Grey; the story of a new programming language In APLish languages the rule is simple by Bakul Shah	Greg Buchholz	2016-03-31 23:37
Forum topic	Are Actors a Good Model for Computation. Consider what happens when by Bakul Shah I was using "protocol" in a very narrow sense by Bakul Shah An OS kernel is a collection of threads by Bakul Shah Just because something is in C... by Bakul Shah Not sure what you mean by Bakul Shah	Keean Schupke	2015-08-19 02:04
Forum topic	inline vs scatter/gather separate annotation Should've provided some context.... by Bakul Shah Beta language fragements by Bakul Shah	Rys McCusker	2015-08-04 04:33
Forum topic	Research vs implementation, theory vs practice, and LtU An example may help by Bakul Shah The kind of thing I have in mind by Bakul Shah LtU directions... by Bakul Shah	Blaisorblade	2015-07-28 16:57
Forum topic	Strengthening Process Calculi The simultaneity assumption by Bakul Shah Agree with what Tom says by Bakul Shah	raould	2015-07-06 12:07
Forum topic	More information about Albatross Inconsistency is unavoidable in large systems by Bakul Shah	hbrandl	2015-05-29 13:47
Forum topic	general patterns in PL persistence schemes? Tukey by Bakul Shah	Rys McCusker	2015-02-24 02:23
Forum topic	How can languages help us in terms of achieving correct program design? Recovery blocks by Bakul Shah A slightly different take by Bakul Shah Opposite experience by Bakul Shah I was just trying understand the phrase by Bakul Shah - by Bakul Shah What's a "correct design"? by Bakul Shah	bryanedds	2015-02-02 17:56
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Have you looked at capabilities? by Bakul Shah shm_open() uses a path but... by Bakul Shah /dev/shm is a Linux thing. by Bakul Shah The nub of McCusker's idea by Bakul Shah	Rys McCusker	2015-01-10 00:45
Forum topic	How can be a interpreter faster than C (aka: kdb+) refcounts by Bakul Shah You can't successfully open by Bakul Shah Some comments by Bakul Shah monadic by Bakul Shah Try it! by Bakul Shah AFAIK, K vectors are nothing by Bakul Shah Some misconceptions by Bakul Shah How to read kona source code by Bakul Shah Kona by Bakul Shah	mamcx	2014-12-31 14:26
Forum topic	Why do we need modules at all? The distinction I see by Bakul Shah There is a big difference! by Bakul Shah I guess I was just saying by Bakul Shah Plan9 is an OS by Bakul Shah A different direction by Bakul Shah The domain name system by Bakul Shah	Sean McDirmid	2014-12-06 15:20
Forum topic	Code Completion for Generic Programming folds by Bakul Shah	Keean Schupke	2014-11-24 17:37
Forum topic	Whither Flow Analysis? Thanks for relaying your experience. by Bakul Shah Has anyone tried incremental flow analysis at runtime? by Bakul Shah	raould	2014-11-14 11:54
Forum topic	Programming with Managed Time Simulation time vs real time by Bakul Shah How does this compare with extempore? by Bakul Shah	Sean McDirmid	2014-10-23 00:47
Forum topic	Covariance issue when extending "enter" part in BETA? See section 6.5 by Bakul Shah	Tess Foley	2014-07-13 15:36
Forum topic	Modern Shell Language If this is for writing by Bakul Shah	Pavel P	2014-04-06 11:51
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