All pages

• Whitespace
• .NET
• .NET VM
• 2K
• 3d-visulan
• 4dl
• A N Other
• A taxonomy of program transformers
• A+
• A. Yonezawa
• ABCL
• ADATE
• AI
• AKL
• AL
• ALF
• AML
• AMOP
• ANDF
• AOP
• AP5
• API
• APL
• AROS
• ASF+SDF
• Aardappel
• Abora
• Abstract Algebra 101
• Abstract Communication Types
• Abstract Syntax Tree
• Abstract VM
• Abstraction
• Abstraction Inversion
• Abstraction Level
• Acronym
• Active
• Active Texts
• Activities
• Actor
• Ada
• AdaOS
• Administration
• Aegis
• Agent
• Agnix
• Agora
• Alan
• Alan Bawden
• Alan Bundy
• Aldor
• Aleph
• Algae
• Algebra and coalgebra
• Algebraic Specification
• AlgoVista
• Algol
• Alias
• Alice
• Allen Newell
• Alliance OS
• Alma
• Amiga E
• Amiga Research OS
• AmigaOS
• Amoeba
• Andrew Appel
• Andy Tanenbaum
• Andy Valencia
• Animation
• Antares OS
• Apertos
• Apostle
• Appetizers
• Apple
• ArXiv
• Archy
• Argh!
• Argon
• Armin Rigo
• Arrow 101
• Arrow Logic 101
• Arrow system
• Arthur Whitney
• Artificial Intelligence
• As We May Think
• Aspect-Oriented Programming
• AspectC/C++
• AspectJ
• AspectL
• AspectS
• Assembly
• AtheOS
• Aware
• Awk
• Axiom
• Axiom of Choice
• BASIC
• BNF
• BOBJ
• BOS
• BRiX
• BSD
• Basic Computer Science
• Basic Logic 101
• BeOS
• Befreak
• Bell Labs
• Benjamin C. Pierce
• Beta
• Better Scheme
• Bisimulation
• Bit
• Bla
• Blind Men and the Elephant
• Block Editor
• Blue
• Blue Calculus
• Bob Armstrong
• Boo
• BootOS
• Bootstrap
• Brain
• Brent Kerby
• Brian C. Smith
• Brian Kernighan
• Brian P. Templeton
• Brian T. Rice
• Brief Summary
• BugOS
• BugRoff
• Bus
• Buzzword
• C Compiler dlopen VM
• C Varela
• C language
• C#
• C++
• C++ Language
• C--
• CAL
• CAM
• CAPE
• CAS
• CDDB
• CL
• CLHS
• CLI
• CLIM
• CLIPS
• CLOS
• CLOS MOP
• CLR
• CLiki
• CLiki Bugs
• CLiki Content
• CLiki Search
• CLiki Todo
• COM
• COMPOSE group
• CORBA
• CP/M
• CPS
• CPU
• CRML
• CTO
• Cache Kernel
• CafeOBJ
• Cal Jayson
• Calvin N. Mooers
• Candygram
• Capability
• Capability
• Caper
• Categorical Abstract Machine
• Category Theory
• Category Theory 101
• Cayenne
• Cecil
• Cedar
• Cel
• Centralization
• Centralized
• Channel
• Charity
• Charles Childers
• Charm
• Choices
• Chomsky Hierarchy
• Chord
• Chorus
• Chuck Moore
• Claire
• Clariion
• Clarity
• Clean
• Client
• Clump
• CoSy
• Cobol
• Coconut
• Code Generation
• Coinduction 101
• Collection-Oriented
• Combinator
• Combining Languages
• Comment
• Comments
• Committee
• Common Lisp
• Communication
• Communism
• Compiling and Translation
• Component Object Model
• Computer Algebra System
• Computer Industry
• Computing Freedom
• Computing Liberalism
• Computing System
• Computing World
• Concatenative Syntax
• Concrete VM
• Concurrency
• Concurrency-Oriented
• Concurrent
• Configuration
• Confluence
• Congruence
• Conservatism
• Constraints
• Constructor and Destructor
• Context
• Contiki
• Continuation
• Continuation-Passing Style
• Contributor
• CopyRight
• Coq
• Correctness
• Credits
• Cryptography
• Cryptol
• Curry
• Curry-Howard Isomorphism
• Cw
• Cybernethics
• Cybernetics
• Cyclone
• Cynicism
• D
• DAG
• DBMS
• DCA
• DCC Decompiler
• DERIVE
• DHARMI
• DML
• DOS
• DR DOS
• DSL
• DWIM
• Daniel Barlow
• David Andel
• David E. Manifold
• David Madore
• David Madore on TUNES
• Decentralized
• Declarative
• Delete Me
• Demeter
• Denali
• Dennis M. Ritchie
• Dependent Types
• Descartes
• Design Pattern
• Design by Contract
• Diagram
• Dick Dunbar
• DiskSim
• Dispatch
• Distributed
• Dolphin
• Domain-Specific Language
• Donald A. Norman
• DragonFlyBSD
• Dreme
• Duality
• Dylan
• Dynamic
• Dynamic Compilation
• Dynamism
• Dynamo
• E
• EAI Document History
• EAI OnAuthority
• EAI OnCommitment
• EAI OnCybernetics
• EAI OnDeduction
• EAI OnDeterminism
• EAI OnEvolution
• EAI OnFormalReasoning
• EAI OnGoalsAndMeans
• EAI OnInduction
• EAI OnKnowability
• EAI OnKnowledge
• EAI OnLiberty
• EAI OnOpenmindedness
• EAI OnQuotienting
• EAI OnReality
• EAI OnReification
• EAI OnRelativity
• EAI OnRelevance
• EAI OnResearch
• EAI OnScience
• EAI OnSkepticMaterialism
• EAI OnTheLimitsOfScience
• EAI OnTheNatureOfFreedom
• EAI OnTheNatureOfMan
• EAI OnTheQuestForTruth
• EAI OnTradition
• EBNF
• EOS
• EROS
• EUMEL
• Eden
• Edsger W. Dijkstra
• EduOS
• Educational
• Eelco Visser
• Efficient
• Eidola
• Eiffel
• Elegant
• Ellie
• Elucidative Programming
• End-Users
• Entropy
• Epigram
• Epsilon Calculus
• Equality
• Erlang
• Escape
• Escher
• Essay
• Ethics
• Ethics and Information
• EuLisp
• Eugenio Moggi
• Euphoria
• Example
• Examples
• Exokernel
• Expediency
• Expressiveness
• FALCON
• FAQ
• FCCM
• FDScript
• FFI
• FFIGEN
• FGCS
• FICL
• FISh
• FOLDOC
• FOP
• FPGA
• FSM
• Factor
• Fair Competition
• False
• Fare
• Fault-tolerant
• Feature-Oriented Programming
• Feedback
• Felix
• Fifth Generation Computer Systems
• File System
• First-Order
• FlexOS
• Flua
• Flux
• Foreign Function Interface
• Forklift
• Forth
• Forth OSes
• Forth is NOT intrinsically slow
• Fortran
• Fox
• FramerD
• François-René Rideau
• Free
• Free Compilers Catalog
• FreeBSD
• FreeDOS
• FreeRTOS
• Freedom
• Freedows
• FreshML
• FunOS
• Functional
• Functional and Object-Oriented
• Fusion Calculus
• Future
• GC
• GDL
• GENS
• GEOS
• GNU
• GNU Info
• GNUStep
• GO!
• GOMS
• GPL
• GUI
• Gakuk
• Garbage Collection
• Garnet
• Gate Array
• Geex!
• Gema
• Genera
• Geometry of Interaction Machine
• Gerald Jay Sussman
• Glee
• Glossary
• God
• Godiva
• Goedel
• Gont
• Goo
• Grain
• Graph Reduction
• Graphics Standard
• Grasshopper
• Gregor Kiczales
• Groovy
• Guile
• Guile VM
• HCI
• HOPE
• HTML special characters and symbols
• HURD
• Haiku
• Hardware description language
• Hardware-Independent
• Haskell
• Haystack
• Hello
• HenZo
• Henry Baker
• Hermes
• Heron
• Hidden Algebra
• High-Level
• Higher-Order
• Hobbit
• Holy
• Host
• Hume
• Hyper-G
• Hypertext
• ICAC
• IDE
• IL
• ILU
• IPC
• IRC
• ITS
• Icon
• Iguana
• Imperative
• Induction and Co-induction
• Inferno
• Information
• Information-Flow Security
• Inheritance
• Initiality and finality
• Input
• Intel 8086
• InterWiki
• Interoperability
• Io
• Isolation
• J
• JANOS
• JIT
• JOS
• JVM
• Jack Waugh
• Jacques Pitrat
• James Michael DuPont
• Janus
• Jargon
• Jargon File
• Java
• Jayson Nordwick
• Jean-Marc Fouet
• Jean-Yves Girard
• Jecel
• Jef Raskin
• Jeff Cutsinger
• JeniOS
• JoCaml
• Joew
• John Carter
• John McCarthy
• Join Calculus
• Jolt
• Jose A. Ortega Ruiz
• José Meseguer
• Joy
• Joy 101
• Juice
• Justin R. Hall
• K
• KC5TJA
• KML
• KOS
• Kaleidoscope
• Kali
• KallistiOS
• KangaroOS
• Ken Iverson
• Kent Fredric
• Kent M. Pitman
• Kernel
• Kevo
• KeyKOS
• Kiev
• Kipple
• Knewcleus
• KnowOS
• Kogut
• Kohlberg
• Kurt Gödel
• L4
• LAPIS
• LCN License
• LCNA License
• LENS
• LIFE
• LLVM
• LMNL
• LOGO
• LOS
• LUA
• Lambda Calculus
• Lambda Prolog
• Lambda VM
• Lamport's Algorithm
• Language
• Language Implementation
• Language-Based Security
• Languages ToDo
• Lava
• Lazy Evaluation
• Learning Lounge
• Learning Lounge Rebuilding
• Lee Salzman
• Lego
• Lemon
• Liberalism
• Libero
• Liberty
• Libra
• License
• LifeStreams
• Limbo
• Linda
• Linear Algebra
• Linear Graph Reduction
• Linear Logic
• Linear Logic Comments
• Linearity 101
• Linux
• Lisp
• Lisp Literate Engine
• Lisp machine
• LispOS
• Literate Programming
• Lites
• LittleOS
• LoI
• Logic
• Low-Level
• LtU
• Luca Cardelli
• Lunacy
• Lython
• M4
• MACSYMA
• MIA
• MISC
• ML
• ML/OS
• MMU
• MOP
• MPFAS
• MST
• MUD
• MUMPS
• MVC
• Mac OS X
• MacOS
• Mach
• MachTen
• Macro
• Mad70
• Mailing List Posts of Interest
• Man
• Man
• Man
• Man
• Man
• Marc Santoro
• Marshalling
• Martin Ward
• Marvin Minsky
• Massimo Dentico
• Mathematica
• Matthew Danish
• Maude
• Max
• Memex
• Memory
• Memory-Pool System
• MenuetOS
• Mercury
• Merlin
• Meta-
• Meta-Circular
• Meta-Level
• Meta-Object
• Meta-Object Protocol
• Meta-Space
• Meta-System Transition
• MetaL
• MetaML
• MetaOS
• Metalogical Reflection
• Metaprogramming
• Metatext
• Methods of Migration
• Methods of Reflection
• Miasma
• Mica
• Michael F. Lamb
• Microkernel
• Microkernel Debate
• Microkernel-based OS
• Microsoft
• Microsoft Windows
• Migration
• Migration Comparison
• Migration Comparison Conclusion
• Migration Comparison Intro
• Migration Comparison Part 1
• Migration Comparison Part 2
• Migration Comparison Part 3
• Mila
• Milan
• Minix
• MkLinux
• MobileMaude
• Moby
• Modal
• Model-View-Controller
• Modula-2
• Modula-3
• Module
• Monad
• Monads 101
• Monopoly
• Moostrap
• MorphOS
• Morphe
• Morphic
• Morphism
• Moscow
• Movitz
• Mozart
• Mozart/Oz
• MultiJava
• Multics
• Multipop
• Multiuser DOS
• Mungi
• Möbius
• NASM
• NASOS
• NCL
• NESL
• NIAL
• NOW
• NTDIOS
• NUT
• Napier88
• NeXeme
• Needle
• NetBSD
• NetCLOS
• Network
• Networked
• New Jersey Machine Code Toolkit
• NewOs
• Newbie Support
• Newton OS
• Nexus
• Nick Roberts
• Nicklaus Wirth
• NitrOS-9
• No Proprietary Binary Data Formats
• No-Kernel
• Noam Chomsky
• Non-Well-Founded
• Noweb
• NuPrl
• O'Haskell
• O/OS
• OBJ Family
• OBJ3
• OCAML
• OJOS
• OKE
• OLIVE
• OO
• OOP
• OS
• OS-9
• OS/2
• OS161
• OSKit
• OZONE
• Oberon
• Obix
• Obje
• Object
• Object-Oriented
• Objective-C
• Obliq
• Ocelot
• Off
• Oleg Kiselyov
• Olin Shivers
• On Automatic Interface Generation
• On Wiki Critics
• On liberty
• Ontology
• Opal
• Open
• Open Development
• Open Firmware
• Open Implementation
• OpenBLT
• OpenBSD
• OpenC++
• OpenHW
• OpenJava
• Operating System
• Operating Systems
• Optimize
• Optimizer
• Orca
• Orthogonal
• Orthogonal Persistence
• Other Reviews
• Otto
• Output
• Overhead
• Oz
• PD
• PDF
• PETROS
• PHP
• PJ
• PL 101
• PL/I
• POP
• POP-11
• POSIX
• PTS-DOS
• PVM
• Paradigm
• Parallelism 101
• Parenthetically-Speaking
• Parrot
• Parsing
• Partial Evaluation
• Partial Evaluation 101
• Pascal
• Passive
• Past news
• Path
• Pattern Languages
• Pattern-Matching
• Patti Maes
• Paul Dufresne
• Pegasus
• Perfect
• Performance
• Perl
• Persistence
• Persistence 101
• Person
• Perspegrity
• Peter Stranney
• Peter Van Roy
• Phantom
• Phantom OS
• Philip Koopman
• Philip Wadler
• Philippe Nicolaï-Dashwood
• Pi Calculus
• Piccola
• Pietro Braione
• Pike
• Pilot
• Pizza
• Plan B
• Plan9
• Planning Resources
• Platform OS
• Pliant
• Pluk
• Plurix
• PoLITe project
• Political Term
• Poplog
• Portability
• PostScript
• Preemption and Cooperation
• Prevalence
• Prevayler
• Principia Cybernetica
• Privacy Statement
• Process
• Program Transformation
• Program-Transformation.Org
• Programmer
• Programming Language
• Programming Language Semantics 101
• Programming Languages
• Prolog
• Proof
• Proof-Carrying Code
• Proolix
• Proprietary VM
• Protection
• Prothon
• Psychology of Programming
• Psyco
• Public Domain
• Publicity
• Puma
• Pure
• Python
• Q
• Q shell
• QNX
• Qi
• QoS
• QuickOS
• Quine
• Quotienting
• R
• RAD
• REBOL
• REFAL
• RELFUN
• REPL
• REXX
• RI
• RISC
• RISC OS
• ROM-DOS
• ROME
• RPG
• RPL
• RPL/2
• RTOS
• Rapid Application Development
• Rational
• Rationalism
• Raven
• Ravi
• RbCl
• ReactOS
• Real-Time
• Real-Time Maude
• Real32
• Reference
• Referential Transparency and State
• Reflection
• Reflection 101
• Reflection in Maude
• Reflective Programming Languages
• Reflective Tower
• Reflexive
• Reification
• Relational
• Religion
• ResearchIndex
• Resilient
• Resource
• Retro
• Reverse Literate Programming
• Review
• Revolution
• Revolutionary
• Rewrite
• Rewrite Logic 101
• Rewrite for Optimization
• Robin Popplestone
• Robust Hyperlinks
• Root
• Ruby
• Run-Time Code Generation
• RxDOS
• SAC
• SAS
• SCP
• SECD
• SED
• SEI
• SETL
• SGML
• SICP
• SLK
• SLK Parser Generator
• SNUSP
• SPARCL
• SPIN
• SR
• SWIG
• Salsa
• Sand Box
• Sand Box II
• Sanos
• Sather
• Scala
• Scheme
• Scope
• Scout
• Screamer
• Search Facilities
• Sebyla
• Security
• Self
• Self-extensible
• Semantics
• Sequential Machine
• Serializing
• Server
• Sex
• ShagOS
• ShawnOS
• Sheep
• Shigeru Shiba
• Side Effect
• Sigil
• Silk
• Simkin
• Simon Peyton Jones
• Simula
• Sina
• Sisal
• Site Map
• SkrjabLin
• SkyOS
• Slate
• Slate 101
• Slim Binaries
• Small C
• Smalltalk
• Snowball
• Socrates
• Sombrero
• SourceForge
• Space
• Spoon
• Spring
• Sprint
• Sprite
• Squeak
• Squeak VM
• Stacker
• Static
• Statism
• Stella
• Stella language
• Steven Apter
• Sticky controls
• Sting
• Stratego
• SubProject
• Substructural Logics 101
• Sucker
• Super-User
• Supercompilation
• SwarmOS
• Syllable
• Symbian
• Symmetric Lisp
• Syntax
• Syntax in K
• Syntax in Lisp
• Syntax in Maude
• Synthesis
• Synthetix
• Systems Code Resources
• TAL
• TAOS VM
• TCL
• THE
• THix
• TIGRE
• TOM
• TRAC
• TSX-32
• TUI
• TUNES
• TUNES C-Translator
• TUNES Dream Hardware
• TUNES HLL
• TUNES HLL-
• TUNES Interfaces
• TUNES LLL
• TUNES Meta-Translator
• TUNES Migration
• TUNES On Top of POSIX
• TUNES On i386
• TUNES Project
• TUNES Specification
• TUNES Standard Libraries
• TUNES vs the WWW
• TXL
• Tactic
• Tao OS
• Term
• Terminal
• Texas
• Text Formatting
• The Humane Environment
• The Sieve of Erathostene
• The True Story of Ada
• Thread
• Tigger
• Tim Berners-Lee
• Time-Machine Computing
• Todo
• Todo
• Tom Novelli
• Toontalk
• Topic
• Topic Markers
• Topsy
• Torsion
• Tps
• Tradition
• Transparent
• Tril
• Trinary Operating System
• Tripos
• Trotskyite Tunes
• Trust
• TrustedBSD
• Tube
• Tunes 101
• Tunes 102
• Tunes FAQ
• Tunes IRC
• Turing Machine
• TyRuBa
• Type
• Type System
• Type Systems Varieties
• UCSD P-Code
• UFFI
• UI
• UTM
• UnCommon Web
• Uncategorized
• Unicon
• Unification
• Unified
• Uniform
• UniqueOS
• Unity Project
• Universal Binary Format
• Unix
• Unix histories
• Unlambda
• Unununium
• Update Programming
• Upper/Mute
• User
• User Interface
• User Interfaces
• User Rights
• Utilitarianism
• Utility
• V2_OS
• VB
• VHDL
• VINO
• VM
• VSTa
• Valentin F. Turchin
• Vapour
• Vault
• Version-Aware
• Virtual Machine
• Virtual Machines
• Visible
• Visual BASIC
• Visula
• Vital
• VxWorks
• W. V. Quine
• WIMP
• WYSIWYG
• WYSIWYM
• Ward's Wiki
• Warren Abstract Machine
• Well-Founded
• Why GC
• Why a New OS
• Wiki
• William Tanksley
• Wily
• Word Processors: Stupid and Inefficient
• World
• Wouter van Oortmerssen
• XL
• XML
• XOS
• XOberon/PowerPC
• XY
• Xanadu
• Xanadu language
• Xen
• Xerox PARC
• Xok
• YCX2
• Yarrow
• ZUI
• Zarathoustra
• Zero Memory Widget
• ZigZag
• Zot OS
• Zpl
• `c
• a-kernel
• abi
• aka
• bespin
• bigwig
• bknr
• bpt
• bytecode
• ccg
• chaOS
• class-based
• codeburnt
• concatenative
• coyotos
• datagrok
• dianziyiqi
• dmoz
• eCos
• electronic instrument
• fare-matcher
• freshmeat
• futhin
• fx
• fxm
• h4X0r3d-bY-Sp4z3K!t
• hOp
• handshaking
• hcf
• hierarchical windows navigation
• highly concurrent
• index
• interfaces that learn
• jao
• kaufman@jabber.dk
• kew
• kig
• lament
• llama-X
• load balancing
• mdupont
• metafront
• nitrOVM
• novo
• process migration
• product line
• programmable logic device
• prototype-based
• ps
• rojan
• rtmk
• schemix
• schizophonic
• seaslug
• self-proclaimed “hackers”
• tcn
• text editor
• thin
• ult
• water
• windowing system
• zzz
• {log}