Sequent calculus and ANF

[Daniel C. Wang]

Just wondering, but does anyone have pointers to literature that 
explicitly connect typed variants of Sabry and Felleisen's A-normal-form 
with sequent calculus style proof systems? The connection seems pretty 
direct and obvious, but I can't seem to find any reference that make 
this observation. Is this a case of the compiler writers and logician's 
simply not being aware of each others work?