Kernel language for Id. A refinement of P-TAC, used as an intermediate language for Id. Lambda-calculus with first-class let-blocks and I-structures. ["A Syntactic Approach to Program Transformations", Z. Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991)]. (1996-07-22)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ bd ] [ block ] [ C ] [ ca ] [ ch ] [ ck ] [ cl ] [ class ] [ cu ] [ du ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ GP ] [ GPL ] [ gr ] [ gu ] [ h ] [ hr ] [ Id ] [ id ] [ IGP ] [ IGPL ] [ il ] [ in ] [ int ] [ io ] [ ir ] [ it ] [ K ] [ la ] [ LAN ] [ language ] [ lc ] [ Lex ] [ lu ] [ ma ] [ mo ] [ mod ] [ module ] [ N ] [ na ] [ ne ] [ ng ] [ ns ] [ ph ] [ PLAN ] [ pr ] [ pt ] [ P-TAC ] [ query ] [ rc ] [ re ] [ ro ] [ roach ] [ ru ] [ S ] [ se ] [ SI ] [ SIG ] [ st ] [ struct ] [ T ] [ TA ] [ TAC ] [ th ] [ to ] [ tr ] [ ua ] [ us ] [ Z ]