NDLI: Transparent function types: clearing up opacity

Please wait, while we are loading the content...

Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs

Layered fixed point logic

Regular expression sub-matching using partial derivatives

Linear dependent types in a call-by-value scenario

Exception handling for copyless messaging

Declarative distributed advertisement system for iDTV: an industrial experience

Automatic synthesis of specifications for first order curry programs

A polynomial time λ-calculus with multithreading and side effects

Functional semantics of parsing actions, and left recursion elimination as continuation passing

Transparent function types: clearing up opacity

From the π-calculus to flat GHC

Task-oriented programming in a pure functional language

Goal-directed execution of answer set programs

Modeling datalog fact assertion and retraction in linear logic

Tor: extensible search with hookable disjunction

Session types revisited

Compiling CHR to parallel hardware

A linear concurrent constraint approach for the automatic verification of access permissions

Transparent function types: clearing up opacity

Content Provider	ACM Digital Library
Author	Martin-Martin, Enrique Rodríguez-Hortalá, Juan
Abstract	Functional logic programming (FLP) is a paradigm that comes from the integration of lazy functional programming and logic programming. Although most FLP systems use static typing by means of a direct adaptation of Damas-Milner type system, it is well-known that some FLP features like higher-order patterns or the equality operator lead to so-called opacity situations that are not properly handled by Damas-Milner type system, thus leading to the loss of type preservation. Previous works have addressed this problem either directly forbidding those HO patterns that are opaque or restricting its use. In this paper we propose a new approach that is based on eliminating the unintended opacity created by HO patterns and the equality operator by extending the expressiveness of the type language with decorations in the arrows of the functional types. We study diverse possibilities, which differ in the amount of information included in the decorations. The obtained type systems have different properties and expressiveness, but each of them recovers type preservation from simple extensions of Damas-Milner.
Starting Page	127
Ending Page	138
Page Count	12
File Format	PDF
ISBN	9781450315227
DOI	10.1145/2370776.2370793
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-09-19
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Functional-logic programming Type systems Higher-order patterns Opacity
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in