Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540417392, 9783540447160

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_21 ◽

2007 ◽

pp. 326-342 ◽

Author(s):

Elvira Albert ◽

Michael Hanus ◽

Germ00E1;n Vidal

Keyword(s):

Declarative Language

Download Full-text

A General Type Inference Framework for Hindley/Milner Style Systems

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_16 ◽

2001 ◽

pp. 248-263 ◽

Author(s):

Martin Sulzmann

Keyword(s):

General Type ◽

Download Full-text

Monadic Encapsulation with Stack of Regions

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_17 ◽

2001 ◽

pp. 264-279 ◽

Author(s):

Koji Kagawa

Download Full-text

Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_6 ◽

2001 ◽

pp. 92-107 ◽

Author(s):

Kwanghoon Choi ◽

Hyun-il Lim ◽

Taisook Han

Keyword(s):

Virtual Machine ◽

Java Virtual Machine

Download Full-text

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_22 ◽

2001 ◽

pp. 343-358

Author(s):

Olivier Danvy ◽

Morten Rhiger

Keyword(s):

Abstract Syntax

Download Full-text

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_4 ◽

2001 ◽

pp. 61-77 ◽

Author(s):

Jeff Polakow ◽

Kwangkeun Yi

Keyword(s):

Logical Framework ◽

Syntactic Properties

Download Full-text

A Scalable Architecture for Proof-Carrying Code

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_2 ◽

2001 ◽

pp. 21-39 ◽

Author(s):

George C. Necula

Keyword(s):

Scalable Architecture

Download Full-text

The Metalanguage λprolog and Its Implementation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_1 ◽

2001 ◽

pp. 1-20 ◽

Author(s):

Gopalan Nadathur

Download Full-text

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_10 ◽

2001 ◽

pp. 153-169 ◽

Author(s):

Jesús M. Almendros-Jiménez ◽

Antonio Becerra-Terón

Keyword(s):

Logic Programs ◽

Bottom Up ◽

Functional Logic

Download Full-text

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_9 ◽

2001 ◽

pp. 138-152 ◽

Author(s):

Marco Bozzano ◽

Giorgio Delzanno ◽

Maurizio Martelli

Keyword(s):

Linear Logic ◽

Logic Programs ◽

Bottom Up ◽

Order Linear ◽

Download Full-text