NDLI: Typing as functional-logic evaluation

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

Practical aspects of bidirectional graph transformations

Security type error diagnosis for higher-order, polymorphic languages

Verifying programs via iterated specialization

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems

Partially static operations

Just do it while compiling!: fast extensible records in haskell

A meta-circular language for active libraries

Shonan challenge for generative programming: short position paper

Deriving a complete type inference for hindley-milner and vector sizes using expansion

Towards a scalable software model checker for higher-order programs

Traceability and evidence of correctness of EDSL abstractions

Abstract syntax graphs for domain specific languages

Automatic inference of specifications using matching logic

Typing as functional-logic evaluation

Verified integrity properties for safe approximate program transformations

Fixing idioms: a recursion primitive for applicative DSLs

Constraint-based locality analysis for X10 programs

Precise explanation of success typing errors

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

Typing as functional-logic evaluation

Content Provider	ACM Digital Library
Author	Martin-Martin, Enrique López-Fraguas, Francisco J.
Abstract	We present a transformational approach to type inference for functional logic programs. More concretely, we give a broad set of examples showing how, given a functional logic program P, we can synthesize a remarkably simple and natural functional logic program P' such that the evaluation of expressions with respect to P' corresponds to typing the expressions in the original P. We start developing those ideas for the case of type inference with standard Hindley-Milner types, and after that we consider some variations, like local definitions with different degrees of polymorphism, existential types and type checking in the presence of polymorphic recursion. For the basic case of Hindley-Milner types we provide also a formalization of the transformation and proofs of its correctness. Besides its potential applicability to the implementation of different type systems, or to the educational use of the synthesized typing programs to explain different type inference/checking processes, the paper demonstrates vividly the expressive power of functional logic languages, as well as some of their limitations for metaprogramming purposes, that we have overcome by providing a suitable set of metalogical functions to inspect, classify and manipulate expressions according to their structure, similar to well known Prolog metapredicates for such purposes.
Starting Page	23
Ending Page	32
Page Count	10
File Format	PDF
ISBN	9781450318426
DOI	10.1145/2426890.2426896
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-01-21
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Type inference Type checking Functional logic programming
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