Câu hỏi được gắn thẻ «scheme»

Trong [1], Mitchell Wand đã chứng minh rằng việc thêm fexprs vào phép tính lambda thuần túy làm tầm thường hóa lý thuyết tương đương theo ngữ cảnh, nghĩa là hai thuật ngữ tương đương với ngữ cảnh nếu chúng là -congruent. Khi khám phá các công việc liên quan, …

13 pl.programming-languages  lisp  scheme 

Trang "Lược đồ nâng cao: Một số bit nghịch ngợm" nêu rõ: Continuations là một cấu trúc luồng điều khiển mạnh mẽ mà từ đó gần như bất kỳ cấu trúc luồng điều khiển nào khác [...] có thể được bắt nguồn. Tôi nghĩ rằng Scheme call/cc, có liên quan …

12 lambda-calculus  denotational-semantics  scheme  operational-semantics