Home » user account

Charles Stewart

typetitleauthorlast post sort icon
Forum topicrefereed journal with open access? Gergely Buday2008-12-01 14:04
StorySEP entry on Combinatory Logic Ehud Lamm2008-11-19 19:27
Forum topicβ, η, ξ ⊢ α? Lauri Alanko2008-11-09 14:02
StoryCollege Publications Charles Stewart2008-11-08 00:32
Forum topicDr. Kenneth Iverson Passes Away shrogers2008-11-07 14:05
Forum topicOz/K: A kernel language for component-based open programming Isaac Gouy2008-11-07 09:17
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicMultiple Dispatch in Practice Isaac Gouy2008-10-25 15:28
Forum topicF in System F christopher2008-10-21 03:45
Forum topicIn which sense Joy is functional? Pablo Barenbaum2008-10-20 08:00
Forum topicHelp with Mixfix in Bison? shap2008-10-09 16:00
Forum topicVisual Programming Language Syntax Formalisms Jason Livesay2008-10-07 16:50
Forum topicReia: Python/Ruby style language on top of Erlang David N. Welton2008-10-06 11:51
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
Forum topicHelp with N-Ary functions? shap2008-09-30 11:13
StorySafe and Secure Software in Ada Ehud Lamm2008-09-26 19:38
StoryFirst-class Macros James Iry2008-09-24 03:54
StoryAgentSpeak(L): programming with beliefs, desires and intentions Charles Stewart2008-09-19 14:08
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
PageRelated Weblogs Ehud Lamm2008-09-11 14:38
Forum topicReview of a potential pramming language: Lima frencheneesz2008-09-10 07:58
StoryUnchecked Exceptions can be Strictly More Powerful than Call/CC James Iry2008-09-09 14:00
Forum topicStock exchanges: language design aspect Andris Birkmanis2008-09-07 06:05
StoryCompiler Validation through Program Analysis Charles Stewart2008-09-05 16:04