Lambda the Ultimate

type	title	author	last post
Forum topic	looking for dependent research proof system language implemented in C++ Lean by adrieng	AaronNGray	2020-12-16 14:12
Story	Applied Category Theory - The Emerging Science of Compositionality Formal notations by adrieng	Manuel J. Simoni	2019-09-10 22:22
Forum topic	C++ fun What language? by adrieng	chrisoliver	2018-06-11 02:05
Forum topic	Something I forgot Agreed by adrieng Values vs. Denotations by adrieng Legal? by adrieng If you mean that expressions by adrieng Expressions != values by adrieng	marco	2017-08-26 06:44
Forum topic	Language features for tracing JIT? Disappointing answer about JITs in general by adrieng	Luke Gorrie	2017-08-21 14:33
Story	Happy Birthday, dear Lambda: 17 is good edition Congratulations by adrieng	Ehud Lamm	2017-08-18 06:51
Forum topic	hobbes, Morgan Stanley OSS Evaluation strategy? by adrieng	Kalani	2017-07-27 14:55
Story	A Next Generation Smart Contract and Decentralized Application Platform Typecoin by adrieng	Manuel J. Simoni	2017-07-26 12:09
Forum topic	Affine Types - Introductory reading I've never looked into it, by adrieng I see that Ehrhard mentions by adrieng "There was no hint of any connection to linear algebra" by adrieng Linear logic and linear algebra by adrieng	filipallberg	2017-07-10 02:17
Forum topic	How is structural typing checked? More specific? by adrieng	mamcx	2016-10-26 16:44
Forum topic	Certificates/proof of work of type checking? O(N) by adrieng	naasking	2016-09-22 06:41
Forum topic	Branch Forward Only Single-loop code has subroutine calls by adrieng	Greg Buchholz	2016-07-29 20:58
Forum topic	Is the "Getting started"-guide up-to-date? AI? by adrieng	filipallberg	2016-03-29 06:03
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Safety, efficiency? by adrieng A Modest Proposal by adrieng	raould	2016-01-31 00:31
Forum topic	Languages for SIMT Architectures Re: IMP by adrieng	Keean Schupke	2015-12-23 04:49
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Abstraction layers aren't by adrieng But if we aren't allocating by adrieng All you need is C, C is all you need by adrieng	Sean McDirmid	2015-11-24 16:45
Story	When Is A Functional Program Not A Functional Program? Computability at higher types by adrieng	neelk	2015-11-20 21:56
Forum topic	Optimal efficiency Precise statement and rigorous proof by adrieng	Keean Schupke	2015-10-12 06:19
Forum topic	meta: September "propose a post" post (proposal) seL4 by adrieng	Thomas Lord	2015-09-15 10:27
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Hardware vendors by adrieng	gasche	2015-08-22 15:22
Forum topic	Are Actors a Good Model for Computation. Temporal logic? by adrieng	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Compiling dynamic languages by adrieng Tradeoffs by adrieng	adrieng	2015-08-18 16:42
Story	Facebook open sources "Infer", static program analysis tool Yes by adrieng	Z-Bo	2015-07-28 18:54
Forum topic	Functors are Type Refinement Systems Interesting question by adrieng	adrieng	2015-06-12 20:12
Forum topic	Paper journals are in bad shape; priority established in HAL ... HAL and arXiv by adrieng	Hewitt	2015-06-07 15:39
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