Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	On the (Alleged) Value of Proof for Assurance	136	16 years 15 weeks ago by shap	9 years 31 weeks ago by NickP
	Resources for implementing higher-kinded types?	3	9 years 33 weeks ago by Jon Purdy	9 years 32 weeks ago by neelk
	Seeking contributors to psyche-c	0	9 years 33 weeks ago by pronesto	n/a
	How is structural typing checked?	8	9 years 36 weeks ago by mamcx	9 years 35 weeks ago by mamcx
	Implicit conversion (subtyping) vs Explicit conversion	11	9 years 37 weeks ago by Keean Schupke	9 years 35 weeks ago by Keean Schupke
	Interesting use cases for universal quantifiers in rank 2?	0	9 years 35 weeks ago by Alex Shpilkin	n/a
	Parsing with derivatives - Elegant matching of regular languages in clojure	0	9 years 37 weeks ago by yehonathan sharvit	n/a
	Bottom Types	15	9 years 39 weeks ago by Keean Schupke	9 years 37 weeks ago by Ivan V.
	Compile and Statically Verify	7	9 years 38 weeks ago by hbrandl	9 years 37 weeks ago by hbrandl
	Indispensible use cases for record subtyping?	41	9 years 39 weeks ago by naasking	9 years 38 weeks ago by naasking
	ZenScript, A new open-source language project.	7	9 years 40 weeks ago by Keean Schupke	9 years 38 weeks ago by Matt M
	SPLASH'16 Amsterdam CFP: early registration ends Sept 30	0	9 years 39 weeks ago by craiganslow	n/a
	Certificates/proof of work of type checking?	15	9 years 40 weeks ago by naasking	9 years 40 weeks ago by Keean Schupke
	Feedback requested: A sample implementation of L-systems in Haskell	5	10 years 13 weeks ago by filipallberg	9 years 40 weeks ago by filipallberg
	Term Rewrite System Implementations?	38	9 years 41 weeks ago by Ivan V.	9 years 40 weeks ago by marco
	Looking for references on the expressiveness and computational completeness of a relational programming language	21	9 years 44 weeks ago by davidb	9 years 42 weeks ago by Keean Schupke
	Lecturing birds how to fly	8	9 years 43 weeks ago by Charles Stewart	9 years 42 weeks ago by John Shutt
	NOOL 2016	0	9 years 42 weeks ago by Roly Perera	n/a
	Programming Languages as Mathematical Representations	23	9 years 43 weeks ago by mfidelman	9 years 42 weeks ago by John Shutt
	Whither FRP?	11	9 years 44 weeks ago by raould	9 years 42 weeks ago by bashyal
	Viability of a static type system (like ML) for a relational language?	29	10 years 2 weeks ago by mamcx	9 years 43 weeks ago by AntC
	language handling of memory and other resource failures	15	9 years 44 weeks ago by Rys McCusker	9 years 43 weeks ago by Keean Schupke
	Is there a language with the ability to write arbitrary type functions?	36	10 years 2 days ago by davidb	9 years 44 weeks ago by Keean Schupke
	Microscript	58	10 years 4 weeks ago by Ivan V.	9 years 46 weeks ago by Ivan V.
	A language for blind uncomprehending idiots who have no idea how programs work.	24	9 years 49 weeks ago by Ray Dillinger	9 years 46 weeks ago by John Shutt
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