type | title | author | last post  |
Forum topic | The question of the possibility of a simple formal foundation to the natural languages. | Enrique Perez Arnaud | 2017-08-16 01:24 |
Forum topic | Free links to all (or practically all) recent SIGPLAN papers | emery | 2017-06-04 03:32 |
Forum topic | On the (Alleged) Value of Proof for Assurance | shap | 2016-11-24 01:04 |
Forum topic | Implicit conversion (subtyping) vs Explicit conversion | Keean Schupke | 2016-10-23 06:46 |
Forum topic | Indispensible use cases for record subtyping? | naasking | 2016-10-04 17:37 |
Forum topic | Term Rewrite System Implementations? | Ivan V. | 2016-09-18 00:10 |
Story | PowerShell is open sourced and is available on Linux | Ehud Lamm | 2016-08-21 21:31 |
Forum topic | Microscript | Ivan V. | 2016-08-08 22:31 |
Forum topic | A language for blind uncomprehending idiots who have no idea how programs work. | Ray Dillinger | 2016-08-08 13:51 |
Forum topic | Alice, Bob, and Penthesilea: mutually suspicious code and data owners | johnwcowan | 2016-07-29 14:27 |
Forum topic | WebAssembly | Ivan V. | 2016-06-24 17:31 |
Forum topic | Theory of syntax extensions: does it exist? | johnwcowan | 2016-05-30 10:47 |
Forum topic | Was there a language with an explicit call stack? | Alex Shpilkin | 2016-05-13 11:57 |
Forum topic | Best successor to Scheme? | raould | 2016-05-03 06:31 |
Forum topic | Remora: An Array-Oriented Language with Static Rank Polymorphism | raould | 2016-04-24 16:35 |
Forum topic | Binary Representation - Is it something to rise above? | Ray Dillinger | 2016-04-24 02:14 |
Forum topic | Best opening sentence ever, in a paper on S-Exprs for IDEs. | raould | 2016-04-02 22:53 |
Forum topic | Earl Grey; the story of a new programming language | Greg Buchholz | 2016-03-31 23:37 |
Forum topic | ¿How can a dynamically typed language not actively prevent static checking? | raould | 2016-03-31 23:06 |
Story | C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” | Allan McInnes | 2016-03-25 19:25 |
Forum topic | Logic Programming with Failure as an Exception | Keean Schupke | 2016-03-07 06:17 |
Forum topic | Need to Talk | marco | 2016-02-02 05:56 |
Forum topic | Typed X (Racket, Clojure, Lua) just doesn't pan out? | raould | 2016-01-31 00:31 |
Story | Static vs. Dynamic Languages: A Literature Review | naasking | 2016-01-11 06:22 |
Forum topic | Nesting imperative into functional code | Ivan V. | 2015-12-23 02:46 |
|
Recent comments
2 weeks 7 hours ago
42 weeks 2 days ago
42 weeks 2 days ago
42 weeks 2 days ago
1 year 12 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago