BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
calculus (5)
function (4)
logic (4)
system (4)
languag (4)

Stem lambda$ (all stems)

20 papers:

IJCARIJCAR-2010-Schack-NielsenS #linear #λ-calculus
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.
DATEDATE-2005-AmatoCMP #precise
Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
IJCARIJCAR-2004-Beeson #logic
Lambda Logic (MB), pp. 460–474.
VMCAIVMCAI-2002-MurawskiY #analysis
Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.
SIGMODSIGMOD-2000-FegarasSRM #named #object-oriented
lambda-DB: An ODMG-Based Object-Oriented DBMS (LF, CS, AR, DM), p. 583.
CADECADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus
System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
ISMMISMM-1998-WallaceR #functional #lazy evaluation
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
CADECADE-1998-Beeson #unification #λ-calculus
Unification in Lambda-Calculi with if-then-else (MB), pp. 103–118.
CADECADE-1998-RichardsonSG #higher-order #logic #proving #theorem proving
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam (JR, AS, IG), pp. 129–133.
CADECADE-1997-HutterK #λ-calculus
A Colored Version of the Lambda-Calculus (DH, MK), pp. 291–305.
DACDAC-1995-ShenHC #composition #set
Lambda Set Selection in Roth-Karp Decomposition for LUT-Based FPGA Technology Mapping (WZS, JDH, SMC), pp. 65–69.
PODSPODS-1994-HillebrandK #database #functional #order #query #λ-calculus
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.
CADECADE-1994-JohannK #constant #order #unification #λ-calculus
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading (PJ, MK), pp. 620–634.
CADECADE-1992-NipkowQ #reduction #type system #unification #λ-calculus
Reduction and Unification in Lambda Calculi with Subtypes (TN, ZQ), pp. 66–78.
CADECADE-1990-FeltyGMP #prolog #tutorial #λ-calculus
Tutorial on Lambda-Prolog (APF, ELG, DM, FP), p. 682.
CADECADE-1990-FeltyM #encoding #logic programming #programming language #λ-calculus
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language (APF, DM), pp. 221–235.
CADECADE-1988-FeltyGHMNS #logic programming #named #programming language #prolog #λ-calculus
Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.
DACDAC-1982-MatsudaFTMNKG #design #layout #low cost #named
LAMBDA: A quick, low cost layout design system for master-slice LSI s (TM, TF, KT, HM, HN, FK, SG), pp. 802–808.
LISPLFP-1982-ReesA #lisp #named
T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool (JR, NA), pp. 114–122.
CADECADE-1980-Nederpelt #approach #proving #theorem proving #λ-calculus
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus (RN), pp. 182–194.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.