Question

plt-redex: capture-avoiding substitution for free?

score 361 · Answer 1 · 2016-12-22 05:52:52

361

Views

plt-redex: capture-avoiding substitution for free?

Published on 22 December 2016 at 05:52

score 1.2k · Answer 2 · 2017-08-27 03:38:22

1.2k

Views

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

Published on 27 August 2017 at 03:38

score 82 · Answer 3 · 2017-08-30 22:08:18

82

Views

Lisp to formalize the China Wall Model

Published on 30 August 2017 at 22:08

score 51 · Answer 4 · 2020-07-21 08:35:14

51

Views

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

Published on 21 July 2020 at 08:35

score 86 · Answer 5 · 2016-01-22 19:40:32

86

Views

Ellipsis over unquote in redex term

Published on 22 January 2016 at 19:40

score 306 · Answer 6 · 2016-05-02 02:47:09

306

Views

How to implement equi-recursive types in PLT Redex?

Published on 02 May 2016 at 02:47

score 80 · Answer 7 · 2016-05-05 19:01:53

80

Views

Invoke judgment from from within reduction-relation

Published on 05 May 2016 at 19:01

score 183 · Answer 8 · 2016-05-08 21:56:45

183

Views

Redex Does Not Match

Published on 08 May 2016 at 21:56

score 302 · Answer 9 · 2017-02-02 19:14:39

302

Views

Why do I need evaluation contexts in Redex?

Published on 02 February 2017 at 19:14

score 100 · Answer 10 · 2015-08-03 12:55:33

100

Views

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

Published on 03 August 2015 at 12:55

score 172 · Answer 11 · 2020-01-28 11:02:05

172

Views

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

Published on 28 January 2020 at 11:02

score 926 · Answer 12 · 2013-04-03 23:43:15

926

Views

PLT Redex: parameterizing a language definition

Published on 03 April 2013 at 23:43

score 295 · Answer 13 · 2013-07-14 18:24:42

295

Views

Can PLT-Redex model these features?

Published on 14 July 2013 at 18:24

score 85 · Answer 14 · 2015-04-21 15:32:38

85

Views

Reduction Expression in Java?

Published on 21 April 2015 at 15:32

score 87 · Answer 15 · 2015-10-19 17:27:36

87

Views

Compare model to implementation in Redex

Published on 19 October 2015 at 17:27

score 58 · Answer 16 · 2015-10-20 19:03:50

58

Views

Print successes with redex-check

Published on 20 October 2015 at 19:03

score 187 · Answer 17 · 2017-08-15 11:23:32

187

Views

Trying to define a small language with redex

Published on 15 August 2017 at 11:23

score 118 · Answer 18 · 2017-08-16 20:42:48

118

Views

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

Published on 16 August 2017 at 20:42

score 2.6k · Answer 19 · 2009-07-27 13:28:19

2.6k

Views

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

Published on 27 July 2009 at 13:28

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