Question

plt-redex: capture-avoiding substitution for free?

score 377 · Answer 1 · 2024-12-27 11:30:21

377

Views

plt-redex: capture-avoiding substitution for free?

Published on 27 December 2024 at 11:30

score 1.2k · Answer 2 · 2024-12-27 11:34:45

1.2k

Views

lisp-"car: contract violation expected: pair? given: ()" while destroy an obj in an access control model

Published on 27 December 2024 at 11:34

score 92 · Answer 3 · 2024-12-27 11:28:05

92

Views

Lisp to formalize the China Wall Model

Published on 27 December 2024 at 11:28

score 65 · Answer 4 · 2024-12-27 11:31:33

65

Views

Can be implemented a let* like expression in PLT-Redex?

Published on 27 December 2024 at 11:31

score 101 · Answer 5 · 2024-12-27 11:28:41

101

Views

Ellipsis over unquote in redex term

Published on 27 December 2024 at 11:28

score 320 · Answer 6 · 2024-12-27 11:30:57

320

Views

How to implement equi-recursive types in PLT Redex?

Published on 27 December 2024 at 11:30

score 93 · Answer 7 · 2024-12-27 11:30:56

93

Views

Invoke judgment from from within reduction-relation

Published on 27 December 2024 at 11:30

score 200 · Answer 8 · 2025-01-04 15:28:33

200

Views

Redex Does Not Match

Published on 04 January 2025 at 15:28

score 314 · Answer 9 · 2024-12-27 11:29:08

314

Views

Why do I need evaluation contexts in Redex?

Published on 27 December 2024 at 11:29

score 114 · Answer 10 · 2024-12-27 11:28:04

114

Views

Racket, PLT Redex, test-->E non existence

Published on 27 December 2024 at 11:28

score 184 · Answer 11 · 2024-12-27 11:32:41

184

Views

Reduction-relation's in-hole may match a hole many different ways

Published on 27 December 2024 at 11:32

score 939 · Answer 12 · 2025-01-04 16:44:46

939

Views

PLT Redex: parameterizing a language definition

Published on 04 January 2025 at 16:44

score 308 · Answer 13 · 2024-12-27 11:28:03

308

Views

Can PLT-Redex model these features?

Published on 27 December 2024 at 11:28

score 95 · Answer 14 · 2024-12-27 11:27:31

95

Views

Reduction Expression in Java?

Published on 27 December 2024 at 11:27

score 100 · Answer 15 · 2024-12-27 11:28:40

100

Views

Compare model to implementation in Redex

Published on 27 December 2024 at 11:28

score 71 · Answer 16 · 2024-12-27 11:29:07

71

Views

Print successes with redex-check

Published on 27 December 2024 at 11:29

score 199 · Answer 17 · 2024-12-27 11:29:51

199

Views

Trying to define a small language with redex

Published on 27 December 2024 at 11:29

score 131 · Answer 18 · 2024-12-27 11:33:40

131

Views

Generating only well-typed terms when testing semantics using PLT-Redex

Published on 27 December 2024 at 11:33

score 2.6k · Answer 19 · 2024-12-27 11:34:20

2.6k

Views

What are "reduction semantics"? Please explain the use of PLT Redex in layman's term

Published on 27 December 2024 at 11:34

List Question

plt-redex: capture-avoiding substitution for free?

lisp-"car: contract violation expected: pair? given: ()" while destroy an obj in an access control model

Lisp to formalize the China Wall Model

Can be implemented a let* like expression in PLT-Redex?

Ellipsis over unquote in redex term

How to implement equi-recursive types in PLT Redex?

Invoke judgment from from within reduction-relation

Redex Does Not Match

Why do I need evaluation contexts in Redex?

Racket, PLT Redex, test-->E non existence

Reduction-relation's in-hole may match a hole many different ways

PLT Redex: parameterizing a language definition

Can PLT-Redex model these features?

Reduction Expression in Java?

Compare model to implementation in Redex

Print successes with redex-check

Trying to define a small language with redex

Generating only well-typed terms when testing semantics using PLT-Redex

What are "reduction semantics"? Please explain the use of PLT Redex in layman's term

Trending Questions

Popular # Hahtags

Popular Questions