Order by name Order by year Order by year reverse Order by Type Order by Sammet category

Explore languages for United Kingdom
[B/D]    1987   United Kingdom   Bayesian Probability Programming Language 
2CL    1965 Numerical Control   United Kingdom   Modified NEL NC machine 
2OBJ    1995   United Kingdom   Meta-logical framework theorem prover 
Aardappel    1997 Tree   United Kingdom   Concurrent tree space transformation 
ABC    1991 Sound-Performance   United Kingdom    
ABL    1963 2G Autocodes   United Kingdom   Atlas Basic Language 
ABS12 ALGOL    1962 True ALGOL60s   United Kingdom   Algol 60 with process control extensions 
ABSET    1970 Set   United Kingdom   Set-based language 
ABSYS    1966 Horn clause   United Kingdom   Aberdeen system declarative language 
ACE    1961 Early Autocodes   United Kingdom   Autocode for the ACE 
ACL    1971 Early Autocodes   United Kingdom   Systems language for ICL Atlas 
ACT    1966 State transition tables   United Kingdom   Automated Contingency Translator 
Actus 2    1986   United Kingdom    
Agent-K    1994   United Kingdom   Agent-oriented language with temporality 
AIDA    1972 Other DPLs   United Kingdom   ICL 4GL  
ALAM    1967 Algebraic   United Kingdom   Atlas LISP Algebraic Manipulation 
Aldor    1995   United Kingdom    
Aldwych    2000   United Kingdom   Data co-ordination language 
ALEC    1967 Other UK historic languages   United Kingdom   A User Extensible Scientific Programming Language 
ALEPH    2001   United Kingdom    
ALEPH    1970 Grammar and Syntax-oriented   United Kingdom    
Algol 68 with areas    1972 True ALGOL68s   United Kingdom   Addition of areas to Algol 68 
ALGOL 68C    1975 True ALGOL68s   United Kingdom   Cambridge Algol 68 
ALGOL 68-R    1970 True ALGOL68s   United Kingdom    
ALGOL 68RS    1972 True ALGOL68s   United Kingdom   Extended RS Algol 
ALGOL 68-RT    1979 True ALGOL68s   United Kingdom   Parallel ALGOL 68-R  
ALGOL C    1981 True ALGOL60s   United Kingdom   Cambridge educational Algol 60 
Algol H    1975 True ALGOL68s   United Kingdom   Proposed extensions to the mode system of Algol 68 
Algol S    1975 True ALGOL60s   United Kingdom    
ALGOL(E)    1980 True ALGOL60s   United Kingdom   ICL Algol 60 
ALP    1962 Early Autocodes   United Kingdom   Autocode List-Processing Language 
Alphacode    1959 Early Autocodes   United Kingdom   High level autocode for English Electric Deuce 
AlphaPop    1986 Stack   United Kingdom   Pop on the Mac 
AltMode    1968   United Kingdom    
Amos Input System    1954 Early Autocodes   United Kingdom   Halstead Autocode 
AMPLE    1984 Sound-Performance   United Kingdom   Music programming language 
Anderson statistical language    1963 Statistical   United Kingdom    
Andorra-I    1991   United Kingdom   Bristol U Andorra 
APAL    1975   United Kingdom    
APE(X)C    1950 Initial orders   United Kingdom   Coding system for the APE(X)C 
APLX    2002   United Kingdom   Extensions to APL 
APRIL    1977   United Kingdom    
APSE    1966 Differential Equations   United Kingdom   Simulation system 
ARC    1947 Initial orders   United Kingdom   Assembler for Booth 
AS Intercode    1959 Early Autocodes   United Kingdom   Port of Intercode to run at Armstrong Siddley 
ASCOP    1967 Statistical   United Kingdom   Atlas/NCC Stats Package 
ASN.1    1984   United Kingdom   Abstract Syntax Notation 
ASP    1962 Symbolic assemblers   United Kingdom    
ASP    1965 Map/Dictionary   United Kingdom   Associative Structures Package 
ASP-7    1966 Map/Dictionary   United Kingdom   ASP for the PDP-7 
Atlas Algol    1965   United Kingdom    
Atlas Algol Preprocesor System    1963   United Kingdom    
Atlas Autocode    1964 Early Autocodes   United Kingdom   Algol-like high-level Autocode 
Atlas Commercial Language    1965 COBOL coeval   United Kingdom    
Atlas Fortran    1963 Fortran I-III Variants   United Kingdom    
Atlas Fortran V    1967 Non Standard FIV   United Kingdom   Atlas scientific Fortran dialect 
ATLAS LISP    1966 Lazy Evaluation LISPs   United Kingdom   LISP 1.5 for the ATLAS 
ATOL    1979   United Kingdom    
Aurora    1988   United Kingdom    
AUTOCODE    1952 Early Autocodes   United Kingdom   Symbolic assembly programming language for Manchester Mark 1 
AUTOPRESS    1967 Numerical Control   United Kingdom   Ferranti NC language 
Autostat    1960 Statistical   United Kingdom   Statistical Programming Language 
B    1996   United Kingdom   Specification languag 
Babbage    1980 PL-360s   United Kingdom    
BABEL    1969 True ALGOL60s   United Kingdom   Extensible NPL ALgol 60 
BALSA    1998   United Kingdom    
Baroque    1972   United Kingdom   Logic programming language 
Barron Conversational Fortran    1971   United Kingdom    
Bartok    2001   United Kingdom    
BAS    1962 Symbolic assemblers   United Kingdom   Symbolic assembler for the ATLAS 
BASAL    1984   United Kingdom    
Basic Pop    Stack   United Kingdom   Pop on the Eliot 90 
BASIX 1    1984   United Kingdom    
BASIX 2    1984   United Kingdom    
BASYS    1968 Scientific Basics   United Kingdom   Extended BASIC 
BCL    1966 Other DPLs   United Kingdom   Commercial language for the Atlas 
BCPL    1967 CPL, BCPL and B   United Kingdom   Basic CPL 
BCS Query Language    1980 Network DB   United Kingdom    
BEDSOCS    1973 Process interaction   United Kingdom    
Behaviour Algebra    1978   United Kingdom    
BER    1988   United Kingdom   Basic Encoding Rules 
Birtwhistle GPSSS    1973   United Kingdom    
BMF    1990   United Kingdom    
Boole    1848 Symbolic   United Kingdom    
Brilliant    1968 Markovs   United Kingdom    
Brisk    1995   United Kingdom    
Brooker Autocode    1953 Early Autocodes   United Kingdom   Machester Mark I autocode 
Brooker/Morris syntax language    1960 Grammar and Syntax-oriented   United Kingdom   Phrase structure language to create MERCURY Autocode 
BS12    1978   United Kingdom    
BUGS    1996 Bayesian   United Kingdom   Bayesian inference Using Gibbs Sampling 
BUILD    1973 3d shape   United Kingdom   Solid modelling language 
Burge    1975   United Kingdom    
Burley linear algebra    1967 Algebraic   United Kingdom    
CABAL    1997   United Kingdom   Parallel CAMAL to run on supercomputers 
CAFE    1974   United Kingdom   Job Control Language 
CAJOLE    1978   United Kingdom   Westfield dataflow language  
CALD    1967 2D Spreadsheets   United Kingdom   CAD input system 
CAMAL    1968 Algebraic   United Kingdom   CAMbridge ALgebra system 
CAMAS    1995   United Kingdom    
Cambridge LCF    1982   United Kingdom    
Cameron chemical language    1968 Chemical formula languages   United Kingdom   Chemical engineering language 
CAPS    1964 Process interaction   United Kingdom   Precursor of CSL 
CAPS    1966 CASE languages   United Kingdom   CASE language 
Cartoon Design    1970   United Kingdom    
CCLU    1988   United Kingdom   Cambridge CLU 
CCS    1980   United Kingdom   Calculus of Communicating Systems 
CCSP    1986   United Kingdom    
CDLM    1973 HDLs   United Kingdom   Manchester CDL 
CEIR Commercial Coder    1963 Early Autocodes   United Kingdom   Commercial autocode from CEIR 
Cesil    1974   United Kingdom    
CHARM    1990   United Kingdom    
CHLF    1962 Early Autocodes   United Kingdom   Extension of Mercury Autocode to run on IBM 7090 
CHLF3    1962 Early Autocodes   United Kingdom   Multi-establishment ATLAS Autocode 
CHR    1996   United Kingdom    
City University Conversational Fortran    1968   United Kingdom    
CLAM    1992   United Kingdom    
CLAM    1963 Numerical Control   United Kingdom   NC language for Ferranti 
CLAM    1971   United Kingdom    
CLEF    1985   United Kingdom    
CLEO    1963 2G Autocodes   United Kingdom   Autocode for EE LEO computers 
CLIC    1968   United Kingdom    
Clowes    1965 Syntactical descriptions   United Kingdom   Picture grammar 
COBALG    1976   United Kingdom   Algebraic system 
COBOL Narrator EE    1961 COBOL-60   United Kingdom   English Electric version of RCA COBOL 
COBRA    1973 Macros   United Kingdom   Macro extension system for COBOL 
COCOA    1968 Text analysis   United Kingdom   Language for literary analysis 
COCOMAT    1967 Numerical Control   United Kingdom    
CODEL    1959 Early Autocodes   United Kingdom   Autocoder from ICT 
CODIL    1970 Other DPLs   United Kingdom   Context-sensitive Information Manipulation language 
Colin conversational language    1966 Arithmetic   United Kingdom    
Compiler-Compiler    1963 Macros   United Kingdom   Atlas compiler generator 
COMPL    1966 COBOL coeval   United Kingdom    
CONA    1977 True ALGOL60s   United Kingdom   Conversational Algol 
CON-A    1978   United Kingdom   Conversational Algol 
COPAS    1981 Pascals   United Kingdom   Conversational Pascal 
CORAL    1963 Other UK historic languages   United Kingdom   English military realtime language 
CORAL 64    1964 Other UK historic languages   United Kingdom   Radar Establishment Systems Language 
CORAL 66    1966 Other UK historic languages   United Kingdom   Realtime English military language 
COSMOS    1967 Statistical   United Kingdom   Courtauld statistical system 
Cospol    1981   United Kingdom   Dialect of CSP 
COSY    1979 Graph   United Kingdom    
COWSEL    1964 Stack   United Kingdom    
CPL    1991   United Kingdom   Categorical Programming Lanugage 
CPL    1963 CPL Algols   United Kingdom   Combined Programming Language 
CPL1    1965 CPL, BCPL and B   United Kingdom   Implemented subset of CPL 
CPM    1972   United Kingdom   POL for CPM 
cProgol    1995   United Kingdom    
C-Prolog    1985 Horn clause   United Kingdom    
CRESTS    1966 Decision tables   United Kingdom   Courtaulds Rapid Extract, Sort and Tabulate System 
Criterion COBOL Compiler    1973 COBOL-68   United Kingdom   NCR Cobol  
CSL    1975   United Kingdom    
CSL    1966 Activity scanning   United Kingdom   Control and Simulation Language 
CSL 2    1966 Activity scanning   United Kingdom   Version 2 of CSL 
CSP    1978   United Kingdom   Communicating Sequential Processes 
CSP/80    1980   United Kingdom    
CSP-S    1987   United Kingdom    
DACTL    1987 Intermediate languages and VMs   United Kingdom   Declarative Alvey Compiler Target Language 
Dactl0    1987   United Kingdom    
Dakin    1975 Command systems   United Kingdom   Generalised Job Control Language 
DAP Fortran    1975 Non Standard FIV   United Kingdom   Parallel fortran 
DARK BASIC    1997   United Kingdom    
DASH    1967 Patterns   United Kingdom   String patters in ALGOL 60 
Dataplan    1993   United Kingdom    
Day state transitions    1970 State transition tables   United Kingdom   Transistion table system 
DECTAT    1974 Decision tables   United Kingdom   Decision table generator 
DEMOS    1978 Process interaction   United Kingdom   Extensions to Simula 
DEMOS 2000    2000   United Kingdom    
DEUCE Autocode    1956 Early Autocodes   United Kingdom   Autocode for EE DEUCE 
Diamond    1968 Markovs   United Kingdom    
DL1    1981   United Kingdom    
DOLPHIN    1970   United Kingdom    
DPL    1977 Arithmetic   United Kingdom   Mathematical interaction language 
DRAGOON    1989   United Kingdom    
Duration Calculus    1991   United Kingdom    
Dylan    1992   United Kingdom    
Easicode    1960 Early Autocodes   United Kingdom   Autocode for the DEUCE 
EAST    1994   United Kingdom    
ECL-1    1969 Interface and windowing   United Kingdom   Environment Control Language 
ECLIPSE    1995   United Kingdom    
ECRC-Prolog    1986 Horn clause   United Kingdom    
ECSL    1966 Activity scanning   United Kingdom   Extended Continuous Simulation Language 
EDDI    1999   United Kingdom    
Edinburgh LCF    1979   United Kingdom    
Edinburgh ML    1985   United Kingdom    
Edinburgh Prolog    1985 Horn clause   United Kingdom    
EDSAC Autocode    1953 Early Autocodes   United Kingdom   Autocode for EDSAC 2 
EDSAC Initial Orders    1948 Initial orders   United Kingdom   First ever assembler system 
EDSIM    1977 Activity scanning   United Kingdom    
EDUCE    1986   United Kingdom    
EE PL/I    1967 Other PL/Is   United Kingdom   PL/I compiler for the EE computers 
EGDON    1964 Other UK historic languages   United Kingdom    
EGTRAN    1965 Fortran I-III Variants   United Kingdom    
EITL    1996   United Kingdom    
ElipSys    1994   United Kingdom    
ELLA    1979   United Kingdom    
Elliot 401 Autocode    1955 Autocode Coeval   United Kingdom   Elliot Bros Autocode 
Elliot 803 Macrogenerator    1967 Macros   United Kingdom   803 macro language 
Elliot Mark II AUTOCODE    1961 Early Autocodes   United Kingdom   Version II of the Elliot Autocode 
Elliott ALGOL    1960 True ALGOL60s   United Kingdom   Hoare's seminal ALGOL 60 
Elliott Autocode    1960 Early Autocodes   United Kingdom   Elliott Brothers Autocoder 
Elliotts    1960 COBOL coeval   United Kingdom   Commercial Autocode from Elliot Bros 
ELSIE    1991   United Kingdom    
EMA    1964 Early Autocodes   United Kingdom   Extended Mercury Autocode 
EMAS LOGO    1977   United Kingdom    
EMIDEC Algol    1961 True ALGOL60s   United Kingdom    
EMIDEC Business System    1960   United Kingdom   Business autocode for the EMIDEC computers 
EMIDEC LISP    1962   United Kingdom    
EML    1985   United Kingdom   ML Specification language 
Epigram    1999   United Kingdom   dependently typed functional programming language 
EPL    1978   United Kingdom   Experimental Programming Language 
Escher    1995   United Kingdom    
ESEL    1994   United Kingdom    
ESP    1964 Activity scanning   United Kingdom   Elliot Bros simulator package 
EuLisp    1985 Lazy Evaluation LISPs   United Kingdom   European LISP standard 
EXCHLF    1966 2G Autocodes   United Kingdom   Extension of CHLF3 for ATLAS 
Extended Autocode    1962 Early Autocodes   United Kingdom   Autocode optimised 
extended Tempura    1996   United Kingdom    
F-code    1985   United Kingdom    
Feel    1993   United Kingdom    
F-HYBRID    1987   United Kingdom    
Fickle    2000   United Kingdom    
Fickle-99    1999   United Kingdom    
FIGARO    1967 Generation of JOSS I   United Kingdom   JOSS at Cambridge 
FILECODE    1963 COBOL coeval   United Kingdom   Commercial autocode 
FILETAB    1966 Decision tables   United Kingdom   Automatic FILE TABulator 
FIND 2    1970   United Kingdom    
FLIC    1987   United Kingdom   Intermediate level language for functional programs 
Flocoder    1971 2-D Graphic Languages   United Kingdom   Flowchart-based languages 
FOIL    1989   United Kingdom    
Free    1993   United Kingdom    
FTLL    1996   United Kingdom    
GAL    1989   United Kingdom   Graphical equivalent of Pascal 
GAS    1969   United Kingdom   Reporting system 
GCL    1995   United Kingdom   Genie Control Language 
GdH    2000   United Kingdom    
GENIE    1972 Other DPLs   United Kingdom   ICL 4GL 
GENTRAN    1971 FORTRAN IV standard   United Kingdom   Dialect of FORTRAN for the GENESYS system 
Ghoul    1964   United Kingdom    
GIN    1968 Macroassemblers   United Kingdom    
Ginger    1992   United Kingdom   Simple functional language with parallel constructs 
GINO    1969 2d shape   United Kingdom    
GINO-F    1975   United Kingdom    
GIP    1956 Early Autocodes   United Kingdom   Interpretive autocode for DEUCE 
GLIDE    1986   United Kingdom    
GLIM    1988   United Kingdom    
glue    1973   United Kingdom    
Goedel    1994   United Kingdom    
Gofer    1991   United Kingdom    
GOLUX    1974   United Kingdom    
GpH    2001   United Kingdom   Glasgow parallel Haskell 
GPM    1965 Macros   United Kingdom   General Purpose Macro-generator 
GRAAP    1976 Graph   United Kingdom   GRaph Algorithmic Applications Package 
GROATS    1969 Geometric   United Kingdom   Graphical extensions to A60 
GSP    1957 Activity scanning   United Kingdom   General Simulation Program  
GSP II    1962 Process interaction   United Kingdom   General Simulation Program 
GULP    1968 Grammar and Syntax-oriented   United Kingdom    
GUM    1996   United Kingdom    
Gypsy    1962   United Kingdom   Emidec autocode 
Hank    1996   United Kingdom    
HARTRAN    1961 Fortran I-III Variants   United Kingdom   Harwell FORTRAN 
Hasal    1976   United Kingdom    
HASL    1982   United Kingdom    
Hatfield Basic    1971 Dartmouth Basics   United Kingdom   Teaching Basics 
HIBOL    1980   United Kingdom   Infotec DIBOL  
HiPPO    2004 2-D Graphic Languages   United Kingdom    
Hoare super-structured Algol    1972 True ALGOL60s   United Kingdom   Algol with sets, subsets, orders etc 
Hocus Pocus    1971 Process interaction   United Kingdom   Algol based simulation language 
HOL    1985   United Kingdom   Higher Order Logic 
HOL-88    1988   United Kingdom    
HOL-90    1990   United Kingdom    
HOPE    1978   United Kingdom    
Hope+    1988   United Kingdom    
Hope++    1990   United Kingdom    
Hope+C    1994   United Kingdom    
HSQL    1993   United Kingdom    
HTAB    1972   United Kingdom    
HUGS    1996   United Kingdom   Glasgow Haskell 
HUGS.NET    2000   United Kingdom    
Hull    1940 Symbolic   United Kingdom    
IB-Templog    1987   United Kingdom    
IC Prolog ][    1992 Horn clause   United Kingdom    
ICL    1994   United Kingdom   Interactive Control Language 
ICL-Pascal    1984 Pascals   United Kingdom   Pascal extended for mainframe programming 
IC-Prolog    1979 Horn clause   United Kingdom    
ICT COBOL    1960 COBOL-60   United Kingdom   Basic COBOL 60 from ICT 
IDMSX    1976   United Kingdom    
IMP    1966 3G Autocodes   United Kingdom   IMProved Autocode 
IMP 1.5    1970 Early Autocodes   United Kingdom    
IMP 2    1974 Early Autocodes   United Kingdom    
IMP 2.2    1976 Early Autocodes   United Kingdom    
IMP 77    1977 Early Autocodes   United Kingdom    
IMP 80    1980 Early Autocodes   United Kingdom    
Indlog    1996   United Kingdom    
INTCODE    1972 Initial orders   United Kingdom    
INTERCODE    1957 Early Autocodes   United Kingdom   Mark I* Autocode 
Intrinsic    1959   United Kingdom    
Isabelle    1988   United Kingdom    
Isabelle/HOL    1997   United Kingdom    
Isabelle-92    1992   United Kingdom    
ISBL    1974 RDBMs   United Kingdom   IBM Peterlee experimental relational algebra 
ISETL-Linda    1995 Set   United Kingdom   parallel language 
ISWIM    1966 Other lambda   United Kingdom   Landin's paper language 
ITL    1981   United Kingdom    
JEAN    1968 Generation of JOSS I   United Kingdom    
K AUTOCODE    1964 Early Autocodes   United Kingdom   ADvance autocode for KDF9 
KALDAS    1966 Analog   United Kingdom    
Kaleidoquery    1998   United Kingdom    
KDF9 DPS    1963 COBOL coeval   United Kingdom   KDF9 data processing system 
Kernel Parlog    1985   United Kingdom    
Kidsgrove Algol    1963 True ALGOL60s   United Kingdom    
KRC    1981   United Kingdom   Kent Recursive Calculator 
L    1970 Macros   United Kingdom    
L    1967 Multiline   United Kingdom   Multiple line function generator 
L&O    1992   United Kingdom    
Language H    1962 COBOL coeval   United Kingdom   Simplified general purpose business language 
LAPSE    1978   United Kingdom   Single assignment language 
LCF    1972 Symbolic   United Kingdom   Logic for Computable Functions 
LEGO    1992   United Kingdom    
LEO Intercode    1961 Other DPLs   United Kingdom   Intercode for LEO III 
L-HYBRID    1986   United Kingdom    
LIMP    1979   United Kingdom   Language for Implementing Messages and Protocols 
LIMPET    1979   United Kingdom   Subset of LIMP 
LindaLISP    1990 Lazy Evaluation LISPs   United Kingdom    
Lispkit Lisp    1978 Lazy Evaluation LISPs   United Kingdom    
LITHP    1963 List   United Kingdom    
LO    1990   United Kingdom   Linear Objects 
LOGAL    1983   United Kingdom    
Lovelace and Babbage    1843 Symbolic   United Kingdom    
LOWL    1970 Intermediate languages and VMs   United Kingdom    
LP/90    1961 Optimisation and LP   United Kingdom   Linear Programming 90 
LP/94    1961   United Kingdom    
Lucinda    1991   United Kingdom    
LUNAC    1970   United Kingdom    
MacParlog    1988   United Kingdom    
MACROGENERATOR    1972 Macros   United Kingdom    
Magik    1999   United Kingdom    
Manchester Autocode    1960 Early Autocodes   United Kingdom    
Mast    1990 Expression oriented   United Kingdom   Continuous simulations language 
MATRIX    1955 Matrix   United Kingdom   Ferranti Matrix Interpretive Scheme 
MAX    1977   United Kingdom    
MAXIMOP    1974   United Kingdom    
MCOBOL    1980   United Kingdom   Macro extensions to COBOL 
MCPL    1999 CPL, BCPL and B   United Kingdom   Matching CPL 
Megalog    1991   United Kingdom    
Memotech MTX Basic    1984 Street basics   United Kingdom   BASIC for Memotech computer 
Mercury Assembler    1964 Symbolic assemblers   United Kingdom    
Mercury Autocode    1958 Early Autocodes   United Kingdom   Autocode for the Ferranti MERCURY computer 
METAWSL    1994   United Kingdom    
me-too    1984 Interface and windowing   United Kingdom   Functional language for executable specifications 
MICA    1978   United Kingdom    
MicroCODIL    1988   United Kingdom    
MILMAP    1967 Numerical Control   United Kingdom    
MIN0    1981   United Kingdom    
MIN1    1982   United Kingdom    
Mini-COBOL    1969 COBOL-68   United Kingdom   Teaching dialect of COBOL 
MINIJOSS    1967 Generation of JOSS II   United Kingdom   RAEF JOSS 
MINIMOP Command Language    1970   United Kingdom    
MINT    1980   United Kingdom    
Miracula    1991   United Kingdom    
Miranda    1985 Lazy Evaluation FPs   United Kingdom    
MIRFAC    1962 Multiline   United Kingdom   2dimensional maths compiler 
ML    1973 Strict evaluation FPs   United Kingdom   Meta Language 
ML/I    1967 Macros   United Kingdom    
MLS    1967 2G Autocodes   United Kingdom   Mixed Language System 
MLYACC    1975 Grammar and Syntax-oriented   United Kingdom    
Modula-P    1992   United Kingdom   Parallel Modula 2 
Modula-R    1992   United Kingdom    
Modular Prolog    1992 Horn clause   United Kingdom    
MONTECODE    1962 Monte Carlo   United Kingdom   Interpreter Monte Carlo simulations language 
MRC Picture Language    1968 Cell-based   United Kingdom   Language for analysis and manipulation of images 
MU5 Autocode    1975 3G Autocodes   United Kingdom   Autocode for Machester MU5 computer 
MUDDL    1985 Game languages   United Kingdom   MUD language 
muFP    1984 Polymorphic   United Kingdom   VLSI functional language 
Multipop    1994   United Kingdom   Hybrid Operating System and Programming Language 
MUSYS    1969 Sound-control   United Kingdom   Systems language for the EMS studio 
MVC    1972 Statistical   United Kingdom   Multiple Variate Counter 
Napier    1985   United Kingdom    
NAPIER 88    1988   United Kingdom    
NEATA    1971   United Kingdom    
NEBULA    1960 COBOL coeval   United Kingdom   Ferranti business autocode 
NELAPT    1968 Numerical Control   United Kingdom   CNC language 
NEPAL    1981   United Kingdom    
NETREXX    1997   United Kingdom    
Network Control Language    1978   United Kingdom   Language for explicit control of networks 
Nicholas coding scheme    1953 Early Autocodes   United Kingdom   Autocode for the Nicholas system 
NICOL    1967 COBOL coeval   United Kingdom   NIneteen hundred COmmercial Language 
NITA    1967 Decision tables   United Kingdom   Decision table language 
NNL2    1977   United Kingdom    
Noddy    1984 Response languages   United Kingdom   REsponse language for Memotech 
Nonpareil    1968 Markovs   United Kingdom    
NPL    1977   United Kingdom   New Pattern Language 
N-Prolog    1985 Horn clause   United Kingdom    
NUA-Prolog    1991 Horn clause   United Kingdom   Extension to the WAM for Parallel Andorra 
NYU Compiler System    1954 Other US historic   United Kingdom   Early NY compiler 
OBLIQ    1993 Actor   United Kingdom   OO language for distributed objects 
Occam    1982 Pascals   United Kingdom   Parallel Wirth Algol for Transputers 
Occam 2    1987   United Kingdom   Improved version of Occam 
Occam 2.1    1990   United Kingdom   Improved Occam 2 
Occam 3    1992   United Kingdom    
OCODE    1971   United Kingdom    
OOZE    1992   United Kingdom    
OPAL    1960 Flat DB   United Kingdom   CEIR data processing language 
Orion FORTRAN    1963 Fortran I-III Variants   United Kingdom   Rutherford Labs FORTRAN 
ORPHEUS    1963 Sound-Performance   United Kingdom   Earlier copmuter music language 
Orwell    1988   United Kingdom    
OWHY    1969 Other lambda   United Kingdom    
P4 Pascal    1982 Pascals   United Kingdom   Pemberton and Daniels Pascal 
ParaDE    1997   United Kingdom    
Parallel SML    1990   United Kingdom    
Parlog    1983   United Kingdom    
Parlog++    1988   United Kingdom    
Parlog83    1983   United Kingdom    
Parlog86    1986   United Kingdom    
Pascal (BS)    1982 Pascals   United Kingdom    
PASCAL/M    1981 Pascals   United Kingdom   Pascal with Modula Modules 
Pascal-FC    1990 Pascals   United Kingdom    
Pascal-Linda    1991 Pascals   United Kingdom    
PCF    1977   United Kingdom    
PC-Parlog    1989   United Kingdom    
Pearl    1968 Markovs   United Kingdom    
Pebble    1984   United Kingdom    
Pegasus AUTOCODE    1959 Early Autocodes   United Kingdom   Autocode for the Pegasus system 
Pegasus function interpreter    1959 Algebraic   United Kingdom   Algebraic system for the Pegasus 
PENNY    1967 Text analysis   United Kingdom   Document analysis language 
Perfect    1997   United Kingdom    
PFL    1990   United Kingdom   Persistent Functional Language 
Phoenix    1975 Command systems   United Kingdom   Command language for IBM at Cambridge 
Pi Calculus    1991   United Kingdom    
PICT    1991   United Kingdom    
PILE    1983   United Kingdom    
PIMP    1985 Early Autocodes   United Kingdom   Persistent IMP 
PIXIN    1974   United Kingdom    
PIZZA    1997   United Kingdom    
PJama    1987   United Kingdom    
PL/I Checkout Compiler    1972 IBM PL/Is   United Kingdom    
PL316    1973 PL-360s   United Kingdom   316 port of PL-360 
PL516    1970 PL-360s   United Kingdom    
Plasyd    1965 PL-360s   United Kingdom   ICL systems language 
POEM    1985   United Kingdom   OO extension to Prolog 
POLKA    1988   United Kingdom    
Poly    1984   United Kingdom    
Poly    1982   United Kingdom   Polymorphic Programming Language 
POMS    1990   United Kingdom    
POP++    1996   United Kingdom    
POP-1    1966 Stack   United Kingdom    
Pop-11    1975   United Kingdom    
POP-2    1967 Lazy Evaluation FPs   United Kingdom   The first true functional language 
POPCORN    1973   United Kingdom    
POPLER    1971   United Kingdom   Hybrid of PLANNER and POP-2 
POPLOG    1992   United Kingdom    
POPPY    1968 Stack   United Kingdom   POP-2 for the PDP-11 
Post-X    1980   United Kingdom    
PPL    1978 Pascals   United Kingdom   portable systems language 
PPLambda    1987   United Kingdom    
Principia Mathematica    1908 Symbolic   United Kingdom   R & W symbolic treatment of maths 
PROFILEDATA    1967 Numerical Control   United Kingdom    
Progol    1993   United Kingdom    
Program Synthesis    1978   United Kingdom    
Prolog-2    1990 Horn clause   United Kingdom    
PROPLAN    1977   United Kingdom    
PROTOL    1970 External systems control   United Kingdom   Process control language 
PROTRAN    1968 External systems control   United Kingdom   Process control language 
PRTV    1976   United Kingdom    
PS-ALGOL    1981 True ALGOL60s   United Kingdom   Persistent Algol 
PSYCHOL    1968 Experiment control and recording   United Kingdom   language for psychological experimentation 
PUFS    1963   United Kingdom   NPL for files 
Q    1988   United Kingdom    
QIL    1992   United Kingdom    
Quintec Prolog    1991 Horn clause   United Kingdom    
Quintec-Objects    1991   United Kingdom    
RAL    1950 Initial orders   United Kingdom   Regional Assembly Language 
RAPIDWRITE    1962 COBOL-60   United Kingdom   Simplified COBOL dialect 
RAPT    1977 Robotics   United Kingdom   Edinburgh robotics language 
RBCSP    1981   United Kingdom    
RCC    1967 Macros   United Kingdom   User-extensible systems language 
Reaction Handler    1967 Experiment control and recording   United Kingdom   Control language for experimentation 
Realtime Algol    1967 True ALGOL60s   United Kingdom    
Relational Language    1981   United Kingdom    
REXX    1979   United Kingdom    
Ring Fortran    1970 Ring   United Kingdom   Ring-storage package for Fortran 
RLB    1963 Intermediate languages and VMs   United Kingdom    
Robinson Unification Logic    1969 Horn clause   United Kingdom    
ROKDOC    1970 Statistical   United Kingdom    
Rothamsted autocode    1960 Early Autocodes   United Kingdom   Analytical and statistical autocode 
RPL 11 B    1977   United Kingdom   Report preparation language 
RPL 11M    1978   United Kingdom    
RS Algol    1979 True ALGOL68s   United Kingdom    
RTL    1971   United Kingdom    
RTL/1    1971   United Kingdom   Implementation ofRTL/I 
RTL/2    1972 Partial A68 only   United Kingdom   real-time language based on ALGOL 68 
Ruby    1968 Markovs   United Kingdom    
S1    1961 Fortran I-III Variants   United Kingdom   Harwell FORTRAN II 
S3    1994   United Kingdom    
S3 Fortran    1963 Fortran I-III Variants   United Kingdom   Stretch Fortran 
SAL    1990   United Kingdom   SPARK Annotation Language 
SAL    1968 Algebraic   United Kingdom   Simple Algebraic Language 
S-Algol    1979 True ALGOL60s   United Kingdom   St Andrew's Algol 
SAM    1966 Expression oriented   United Kingdom   Continuous Simulation Language 
SASL    1976   United Kingdom   Initial SASL (strict) 
SASL (2nd version)    1972 Polymorphic   United Kingdom   Lazy evaluation SASL 
SASL+LV    1987   United Kingdom    
SASL-YACC    1985   United Kingdom    
sceptic 3    1989   United Kingdom    
sceptic 4    1993   United Kingdom    
SCHEMAL    1983   United Kingdom    
Scheme-Linda    1990   United Kingdom    
SCL    1980   United Kingdom   Command language for the VME/B 
SDML    1993   United Kingdom   Simulations modelling language  
SEAL    1961 COBOL coeval   United Kingdom   Business relative language  
SECD    1964 Other lambda   United Kingdom    
SEP    1965 Early Autocodes   United Kingdom    
Sequel      United Kingdom   Theorem prover specification language 
Sequential Pascal    1970 Pascals   United Kingdom   Simplified Pascal with monitors 
SESPOOL    1977 True ALGOL60s   United Kingdom   Simple Extensible Systems PrOgramming Oriented Language  
Sictran    1967 Intermediate languages and VMs   United Kingdom   Machine independent assembler 
SIMBOL    1971 Symbolic   United Kingdom   ICL SIMulated Boolean Oriented Language 
SIMON    1963 Process interaction   United Kingdom   Algol-based simulation language 
Simon 75    1975 Event scheduling   United Kingdom   GPSS based Simula dialect 
SIMON II    1965 Process interaction   United Kingdom   Algol-based simulation language 
Simplified Type Theory    1924 Symbolic   United Kingdom    
SIMUL    1973   United Kingdom    
SIRIUS Autocode    1961 Early Autocodes   United Kingdom   Autocode for the Ferranti Sirus 
SISAL    1983   United Kingdom   Streams and Iteration in a Single Assignment Language 
SKIMP    1975 Early Autocodes   United Kingdom   Teaching subset of IMP 
S-LONLI    1986   United Kingdom    
SLP    1966 List   United Kingdom   simple list processing 
SLPL    1976   United Kingdom   Simple list processing language 
SMIR    1968   United Kingdom    
SML    1969 Other Algol 60s   United Kingdom   Small Machine Language 
SML    1976   United Kingdom   System Modelling Language 
SML    1984   United Kingdom   Standard ML 
SNAP    1965 Macros   United Kingdom    
SOL    1974 Semantic   United Kingdom   Semantic Operating Language 
SOL/P350    1970   United Kingdom    
SOLO    1983   United Kingdom    
SPARK    1990   United Kingdom   Provable Ada 
SPARK95    1999   United Kingdom   Provable Ada95 
S-Pascal    1980   United Kingdom    
SPECOL    1968 Ad hoc query languages   United Kingdom   Querying language 
SPG    1975   United Kingdom    
SPG    1970 Macros   United Kingdom    
SPI    1987 Interface and windowing   United Kingdom   Interface definition language based around CSP and me­-too 
Spice    2002   United Kingdom    
SPL    1967   United Kingdom    
SPM    1972   United Kingdom    
S-Snobol    1978   United Kingdom   Structured SNOBOL 
STAC    1956 Macroassemblers   United Kingdom   Symbolic macroprocessor for DEUCE 
STATUS    Information Retrieval   United Kingdom   Query language 
STEVE    1959 Early Autocodes   United Kingdom   Symbolic language for the DEUCE 
Sticks&Stones    1982   United Kingdom    
Sticks&Stones II    1990   United Kingdom    
Stockbrokers' Language    1968   United Kingdom    
Strand    1987   United Kingdom    
Strand88    1988   United Kingdom   Commercialisation of Strand 
STREMA    1976   United Kingdom   conversational graphic language for application processes based on streams 
STRICT    1985   United Kingdom    
SuperBasic    1984   United Kingdom    
SUPERMAC    1979   United Kingdom   Embeddable macroprocessor 
SYSTEMATICS    1972 Decision tables   United Kingdom   Decision table based systems language 
T3 Fortran    1965 Fortran I-III Variants   United Kingdom   Titan Fortran III 
TAB 4    1969   United Kingdom    
TAB-360    1974 Decision tables   United Kingdom    
TABLEMASTER    1974   United Kingdom    
TABN    1974   United Kingdom   Decision table pogram 
TALK    1963 True ALGOL60s   United Kingdom   EE Commercial Autocode 
Tangram    1996   United Kingdom    
TAP    1967 Decision tables   United Kingdom   Decision table language 
TASS    1973 Assemblers   United Kingdom   Intermediate language produced by the Manchester SISAL compiler 
TDF    1992   United Kingdom   TenDRA Distribution Format 
TELOS    1990   United Kingdom    
Tempura    1985   United Kingdom    
Ten15    1986   United Kingdom    
TEXTFOR      United Kingdom    
THAT    1964 Individual   United Kingdom   British simulation language 
Timed CSP    1986   United Kingdom   Extension of CSP to include timing constructs 
TIP    1957 Decision tables   United Kingdom   Tabular Interpretive Autocode for the DEUCE 
TITAN Autocode    1958 Early Autocodes   United Kingdom   Macro autocode TITAN  
TLISP    1992 Lazy Evaluation LISPs   United Kingdom    
TODL    1996   United Kingdom    
TREAC Autocode    1952 Early Autocodes   United Kingdom   RWRE Autocode 
TREC    1964 External systems control   United Kingdom   Interactive control system for reactors 
TSQL    1994   United Kingdom    
TSQL2     1996   United Kingdom    
Tuki    1986 Intermediate languages and VMs   United Kingdom    
Turing autocode    1952 Autocode Coeval   United Kingdom   Turing 
UFO    1992   United Kingdom   United Functions and Objects 
UK FORTRAN    1963 Fortran I-III Variants   United Kingdom    
UMIST-OBJ    1987   United Kingdom    
Usercode    1963 Early Autocodes   United Kingdom   Autocode for the KDF9  
value-passing CCS    1988   United Kingdom    
Van Emden and Kowalsi extended Prolog    1974   United Kingdom    
Vector PASCAL    1998 Pascals   United Kingdom    
Vorlon    1999   United Kingdom    
VSPL    2000   United Kingdom    
Whetstone Algol    1964 True ALGOL60s   United Kingdom    
Williams    1948 Initial orders   United Kingdom   Proto-index register for the Manchester Copmuter 
WISP    1964 Macroassemblers   United Kingdom   Macro-based list processing language 
Woodger    1937 Symbolic   United Kingdom    
WSL    1989   United Kingdom   Wide Spectrum Language 
XALT    1966   United Kingdom    
XEHM    1970 Decision tables   United Kingdom    
XSB    1993   United Kingdom    
youtoo    1994 Lazy Evaluation LISPs   United Kingdom   2nd generation EULisp 
Z    1980   United Kingdom    
Z++    1990   United Kingdom    
ZCCS    1997   United Kingdom    
ZERO    1992   United Kingdom    
ZEST    1992   United Kingdom    
ZX Cesil    1980   United Kingdom    
ZX Cesil 2    1983   United Kingdom