logseq/pages/hls__He e Zan - 2024 - Bit A Template-Based Approach to Incremental and.md

file-path:: file://C:/Users/david/Zotero/storage/R695QDD8/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf

• file:: [He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf](file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf) file-path:: file://C:/Users/david/Zotero/storage/Y5NSDNBL/He e Zan - 2024 - Bit A Template-Based Approach to Incremental and .pdf
• function signatures of the printer and the parser that are derived from a BIT template ls-type:: annotation hl-page:: 11 hl-color:: green id:: 65e1a0e4-c305-4e17-bff0-6fc9d1ce8359
• S denotes the string type ls-type:: annotation hl-page:: 12 hl-color:: green id:: 65e1a0fc-42f5-4042-826b-22c72e9c31a0
• V is a certain value typ ls-type:: annotation hl-page:: 12 hl-color:: green id:: 65e1a0ff-a52a-448c-b57f-97996f2c8922
• including incremental printing, incremental parsing, ls-type:: annotation hl-page:: 12 hl-color:: yellow id:: 65e1a11f-e438-4b94-a86e-b7567b37a088
• rewriting an existing string ls-type:: annotation hl-page:: 12 hl-color:: yellow id:: 65e1a16a-195a-4269-a0a5-5343e8131321 hl-stamp:: 1709285742084
• ncPrint does not use a mode ls-type:: annotation hl-page:: 12 hl-color:: green id:: 65e1a1b3-8096-41d1-a175-3313d8b99751 hl-stamp:: 1709285813961
• Accumulative BX ls-type:: annotation hl-page:: 12 hl-color:: green id:: 65e1a212-d01f-4cdb-a058-424fdde2ea10
• (1) ls-type:: annotation hl-page:: 12 hl-color:: red id:: 65e1a25a-f313-47f7-94e7-269d49153c3e
• pdate the model m into m′ ls-type:: annotation hl-page:: 12 hl-color:: yellow id:: 65e1a32f-77b0-4509-b7a4-22527e368155
• Special Case ls-type:: annotation hl-page:: 13 hl-color:: green id:: 65e1a35e-1ff9-4f3a-8003-c4b4c08e1d50
• We assume every expression e is equipped with a bidirectional semantics ls-type:: annotation hl-page:: 16 hl-color:: yellow id:: 65e1a3d8-ac28-4ff9-972e-4de53d273654 hl-stamp:: 1709286376002
• e as a BX ls-type:: annotation hl-page:: 16 hl-color:: green id:: 65e1a3dc-d1d5-42af-ad26-0b9ccf04adeb
• pattern ρ ls-type:: annotation hl-page:: 17 hl-color:: yellow id:: 65e1a5ef-fd36-41d2-a12d-6de436c1ca0d