SPECIAL LEGAL GUARANTEES FOR WOMEN'S WORKING CONDITIONS

Womens Working Status and Physical Spousal Violence in India

The purpose of this study is to identify the causal relationship between women’s working status and the risk of spousal violence against them. In India, working women tend to be more subject to physical spousal violence than non-working women. Given that there is virtually no option outside marriage for women in India, more spousal violence against working women can be understood as a result of...

Typing with Conditions and Guarantees in LFPL

LFPL is a functional language for non-size increasing computation with an operational semantics that allows in-place update. The semantics is correct for all well-typed programs thanks to linear restrictions on the typing. Nevertheless, the linear typing is very strict and rejects many correct, natural in-place update algorithms. We investigate a general approach to easing the tight linear rest...

Typing with Conditions and Guarantees for Functional In-place Update

Hofmann’s LFPL is a functional language with constructs that can be interpreted as referring to heap locations. In this view, the language is suitable for expressing and verifying in-place update algorithms. Correctness of in-place evaluation is guaranteed by a linear typing. As linearity prevents sharing on the heap, LFPL rejects many sound, natural in-place update algorithms with sharing. Rec...

What’s so Special about Legal Translation?

The aim of this paper is to provide an overview of the main difficulties of legal translation and discuss whether they justify claims that it is a category in its own right. It proposes a wide-ranging definition of legal translation, which calls into question some received notions about its inherent difficulties.

Introduction, Special Issue: Feminist Legal Theory