Skip to main content

Showing 1–8 of 8 results for author: Rochel, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2205.15394  [pdf, other

    cs.CY

    Diverse Representation via Computational Participatory Elections -- Lessons from a Case Study

    Authors: Florian Evéquoz, Johan Rochel, Vijay Keswani, L. Elisa Celis

    Abstract: Elections are the central institution of democratic processes, and often the elected body -- in either public or private governance -- is a committee of individuals. To ensure the legitimacy of elected bodies, the electoral processes should guarantee that diverse groups are represented, in particular members of groups that are marginalized due to gender, ethnicity, or other socially salient attrib… ▽ More

    Submitted 30 May, 2022; originally announced May 2022.

  2. arXiv:1610.05954  [pdf, other

    cs.PL

    Unfolding Semantics of the Untyped λ-Calculus with letrec

    Authors: Jan Rochel

    Abstract: We investigate the relationship between finite terms in λ-letrec, the λ-calculus with letrec, and the infinite λ-terms they express. We say that a lambda-letrec term expresses a lambda-term if the latter can be obtained as an infinite unfolding of the former. Unfolding is the process of substituting occurrences of function variables by the right-hand side of their definition. We consider the fol… ▽ More

    Submitted 19 October, 2016; originally announced October 2016.

    Comments: dissertation, 250 pages

    MSC Class: 68N18; 03B70; 97P40 ACM Class: F.4.1; F.3.3; D.1.1

  3. Maximal Sharing in the Lambda Calculus with letrec

    Authors: Clemens Grabmayer, Jan Rochel

    Abstract: Increasing sharing in programs is desirable to compactify the code, and to avoid duplication of reduction work at run-time, thereby speeding up execution. We show how a maximal degree of sharing can be obtained for programs expressed as terms in the lambda calculus with letrec. We introduce a notion of `maximal compactness' for lambda-letrec-terms among all terms with the same infinite unfolding.… ▽ More

    Submitted 23 June, 2014; v1 submitted 7 January, 2014; originally announced January 2014.

    Comments: 18 pages, plus 19 pages appendix

    ACM Class: F.3.3; D.1.1

  4. arXiv:1308.1034  [pdf, other

    cs.LO cs.PL

    Term Graph Representations for Cyclic Lambda-Terms

    Authors: Clemens Grabmayer, Jan Rochel

    Abstract: We study various representations for cyclic lambda-terms as higher-order or as first-order term graphs. We focus on the relation between `lambda-higher-order term graphs' (lambda-ho-term-graphs), which are first-order term graphs endowed with a well-behaved scope function, and their representations as `lambda-term-graphs', which are plain first-order term graphs with scope-delimiter vertices that… ▽ More

    Submitted 2 November, 2013; v1 submitted 2 August, 2013; originally announced August 2013.

    Comments: 35 pages. report extending proceedings article on arXiv:1302.6338 (changes with respect to version v2: added section 8, modified Proposition 2.4, added Remark 2.5, added Corollary 7.11, modified figures in the conclusion)

    ACM Class: F.4.1

  5. arXiv:1304.6284  [pdf, other

    cs.PL

    Expressibility in the Lambda Calculus with mu

    Authors: Clemens Grabmayer, Jan Rochel

    Abstract: We address a problem connected to the unfolding semantics of functional programming languages: give a useful characterization of those infinite lambda-terms that are lambda_{letrec}-expressible in the sense that they arise as infinite unfoldings of terms in lambda_{letrec}, the lambda-calculus with letrec. We provide two characterizations, using concepts we introduce for infinite lambda-terms: reg… ▽ More

    Submitted 27 May, 2013; v1 submitted 23 April, 2013; originally announced April 2013.

    Comments: 24 pages, 7 figures, Extended version of an article in the proceedings of the 24th International Conference on Rewriting Techniques and Applications, Einhoven, the Netherlands, June 24-26, 2013

    ACM Class: F.3.3

  6. Term Graph Representations for Cyclic Lambda-Terms

    Authors: Clemens Grabmayer, Jan Rochel

    Abstract: We study various representations for cyclic lambda-terms as higher-order or as first-order term graphs. We focus on the relation between 'lambda-higher-order term graphs' (lambda-ho-term-graphs), which are first-order term graphs endowed with a well-behaved scope function, and their representations as 'lambda-term-graphs', which are plain first-order term graphs with scope-delimiter vertices that… ▽ More

    Submitted 26 February, 2013; originally announced February 2013.

    Comments: In Proceedings TERMGRAPH 2013, arXiv:1302.5997

    ACM Class: F.4.1

    Journal ref: EPTCS 110, 2013, pp. 56-73

  7. Expressibility in the Lambda Calculus with Letrec

    Authors: Clemens Grabmayer, Jan Rochel

    Abstract: We investigate the relationship between finite terms in lambda-letrec, the lambda calculus with letrec, and the infinite lambda terms they express. As there are easy examples of lambda-terms that, intuitively, are not unfoldings of terms in lambda-letrec, we consider the question: How can those infinite lambda terms be characterised that are lamda-letrec-expressible in the sense that they can be o… ▽ More

    Submitted 2 May, 2013; v1 submitted 11 August, 2012; originally announced August 2012.

    Comments: 79 pages, 25 figures

    Report number: 1304.6284 MSC Class: 68N18 ACM Class: F.4.1; F.3.3

  8. Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

    Authors: Jan Rochel, Clemens Grabmayer

    Abstract: For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes. In the implementation of functional programming languages it is common practice to perform beta-reductions at compile time whenever possible in order to produce code that requires fewer reductions at run time. This is, however, in principle lim… ▽ More

    Submitted 13 February, 2011; originally announced February 2011.

    Comments: In Proceedings TERMGRAPH 2011, arXiv:1102.2268

    Journal ref: EPTCS 48, 2011, pp. 85-100