«scheme» 태그된 질문

[1]에서 Mitchell Wand는 순수한 람다 미적분에 fexprs를 추가하면 문맥 상 동등성 이론을 상쇄한다는 것을 보여 주었다. 즉, 두 항이 일치 하면 문맥 상 동등 하다. 관련 작업을 탐험 할 때, 그는 "우리의 결과는 것을 알버트 마이어 이전 관찰 [2] 확장 갔다 와 상황에 맞는 등가 사소한 렌더링을". 그러나 [2]를 참조하면 …

13 pl.programming-languages  lisp  scheme 

페이지 "고급 계획 : 일부 장난 꾸러기 비트" 상태 : 연속은 거의 모든 다른 제어 흐름 구조 [...]가 도출 될 수 있는 강력한 제어 흐름 구조입니다. call/ccPeter Landin의 J 연산자와 관련된 Scheme이 알려진 제어 흐름 구조 를 구현 하는 데 사용될 수 있다고 생각 했습니까? "제어 흐름 구조" 를 사용하여 …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics