ABP
ACO
AGS
APA
APTS
Abdulaziz
Abelson
Acknowledgement
Aiken
Akihiko
Aleksandar
Aleksey
Amr
Andrei
Andrzej
Ariola
Artalejo
B
BRC
BVC
Barrelled
Barthe
Bartley
Berdine
Bernd
Bernhard
Bertolissi
Biagioni
BibTeX
Birkedal
Bisimilarity
Blain
Blelloch
Boudol
Burstall
Bytecode
C
CBMa
CBMb
CC
CCC
CCR
CDD
CDS
CEC
CKM
CMS
CNL
COC
CODEN
COMPUT
CPD
CPF
CPL
CPS
CPT
CPV
CR
CRC
CSC
CSF
CSM
CSP
CSR
CST
CSU
CTA
CWS
Callcc
Catarina
Cervesato
Cheng
Chirokoff
Christensen
Chung
Cirstea
Cline
Clinger
Coloured
Combinatory
Compendex
Composable
Comput
Concretization
Consel
Coquand
Cr
Cregut
Csaba
D
DEA
DEL
DIH
DIR
DOI
DOIs
DPS
DSL
DSR
DTP
Dana
Danvy
Debois
Deepak
Deforest
Defunctionalization
Desharnais
Dipanwita
Douence
Dube
Dur
Duran
Dwyer
Dybvig
E
ECR
EFA
EII
ESH
EUC
Ea
Eb
Ec
Edoardo
Eijiro
Elsman
Etienne
F
FAC
FAX
FCP
FDC
FFC
FFO
FG
FLF
FPS
FRS
Fabio
Faure
Fausto
Feeley
Felleisen
Filinski
Findler
Formalised
Fr
Fradet
Fraguas
Frederiksen
Fri
Furio
Futamura
G
GJL
GKM
GL
GPE
GRT
GSC
Gadducci
Gallagher
Gasbichler
Gauthier
Germain
Ghani
Ghica
Ghuloum
Giacobazzi
Giavitto
Gilles
Gortz
Goyal
Graunke
Grigore
Grobauer
H
HAF
HAO
HOU
Hagiya
Hallenberg
Halstead
Hamana
Hannan
Hartheimer
Hasegawa
Hatcliff
Hayo
Heine
Heitmeyer
Helsen
Henglein
Herbelin
Hoare
Hongjun
Hongwei
Honsell
Horatiu
Horiguchi
Hornof
Hu
Hulaas
IAA
ICP
IDC
ILG
ILK
IMS
INSCC
IPT
ISF
ISO
ISSN
IUL
IUP
Ia
Ian
Ib
Iliano
Incrementalization
Inge
Internet
Intuitionistic
Isabella
Ito
J
Jagannathan
Jakov
Janis
Jarle
Jens
Jerzy
Jos
Josep
Jul
K
Kakutani
Kameyama
Karczmarczuk
Karlsruhe
Kessler
Khoo
Kirchner
Kiselyov
Klarlund
Klusik
Kluwer
Kobayashi
Kohlbecker
Krishnamurthi
Kristensen
Krivine
Kucan
Kun
L
LCB
LCI
LCP
LRP
LSCOEX
LTS
LaTeX
Lacey
Landin
Lang
Lawall
Le
LeMeur
Letrec
Leuschel
Li
Lillibridge
Lippi
Liu
Loidl
Loogen
Lu
Luc
Lunjin
M
MCU
MDT
ML
MSA
MSR
MST
MYS
Macrogeneration
Mads
Mairson
Makoto
Manuel
Marc
Marlet
Martel
Marti
Masahito
Masami
Masato
Mastroeni
MathSciNet
Matthias
Matthieu
Maude
Mauricio
Maurizio
Mechanising
Meseguer
Meta
Metcast
Meunier
Meur
Michaelson
Microcontrollers
Miculan
Miki
Milne
Min
Mogensen
Monads
Montanari
Moreau
Morten
Mu
N
NGS
NKM
NP
NPS
NSS
Nadji
Nandivada
Nanevski
Naoki
Narciso
Neil
Ngan
Niels
Nils
Nishizaki
Nogin
Norrish
O
O'Hearn
OAD
OCLC
ONL
ORP
Ochoa
Oege
Offline
Okasaki
Oleg
Oliet
Olin
Olivier
Olveczky
Online
Onnie
Ost
Oxley
P
PAO
PDA
PDF
PDL
PDS
PEC
PECa
PECb
PED
PEE
PLT
PMS
PSF
PTD
PTF
PTL
Padget
Paige
Palsberg
Pe
Penrose
Peralta
Pettorossi
Pettyjohn
Philippe
Polymorphism
Pottier
Prasanna
Presheaf
Priebe
Proietti
Queinnec
R
RAC
RBP
RCS
RLA
RM
RMC
RP
RR
RRA
RRB
RTL
Rall
Reb
Reddy
Redex
Reification
Relativizations
Renaud
Reppy
Rerooting
Reuss
Rodr
Rosu
Rozas
Rubio
S
SDA
SDP
SECD
SFP
SIE
SIF
SMS
SNW
SPR
SRA
SRE
SRS
SRV
SSD
SSM
SSP
SST
STD
STI
STMa
STMb
STS
SXML
SYMB
Sabelfeld
Sabry
Sandewall
Sandrine
Sarkar
Scaife
Scsh
Sep
Serrano
Sestoft
Shan
Shi
Shriram
Siau
Siegel
Siek
Signe
Silva
Solovay's
Specialisation
Sperber
Spoto
Steckler
Steele
Stehr
Stoller
Stoy
Strachey
Subtyping
Sumii
Suresh
Sussman
Sylvain
Symb
T
TBU
TCLa
TCLb
TDI
TRD
Takayasu
Takeichi
Talcott
Tanaka
Tarmo
Tel
Tennent
Thati
Thibault
Thielecke
Thiemann
Thu
Tofte
Torben
Tozawa
Trevor
Trinder
Tue
U
UCP
UCT
UEC
URL
URLs
URP
UT
Uday
Ugo
UnCurrying
Univ
Urbain
Uustalu
V
VEC
Vado
Varea
Variadic
Verlag's
Versioning
Vidal
Voigtl
Voigtlander
W
WMO
WWW
Waddell
Wadsworth
Wei
Wimmers
Winebarger
Wyk
XML
Xiao
Ya
Yanhong
Yong
Yoshihiko
Yukiyoshi
Zdancewic
Zena
Zhe
Zheng
Zhenjiang
ack
acknowledgement
acm
affiliationaddress
al
apr
aug
bd
beebe
bibdate
bibmods
bibnames
bibsource
bisimulation
c
ca
cb
cc
chieh
citesort
codetable
com
combinatory
concretization
cryptoprotocol
d
de
deMoor
dec
defunctionalization
del
dholt
docstring
doi
dx
e
edu
ef
eissn
email
equational
ftp
fulltext
getfile
guez
higherordersymbcomput
htm
http
id
ieee
ipsapp
ira
issn
issuetoc
j
journalabr
jrnltoc
jun
kluweronline
letrec
liinwww
lispsymbcomput
lispsymboliccomp
ller
ltx
lveczky
lwwonline
metapress
mi
microcontroller
monoidal
n
nder
nhfb
nl
nov
o
oct
ois
oise
openurl
org
pdf
pez
pre
publisher's
rard
redex
ren
rensen
reynolds
ric
rseda
rtz
s
sep
showtags
spage
specialisation
springerlink
st
tupling
twocolumn
u
uka
unsrt
utah
v
variadic
versioning
watermarking
wc
wkap
workset
www
x
y
z