BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
E.J.G.Arias O.Hermant S.Nieva R.McGrail P.Broome J.Chirimar J.Mariño-Carballo
Talks about:
program (5) logic (5) constraint (3) semant (2) combinatori (1) construct (1) procedur (1) encapsul (1) categori (1) approach (1)

Person: James Lipton

DBLP DBLP: Lipton:James

Contributed to:

LOPSTR 20142014
ICLP 20122012
CSL 20082008
TLCA 20072007
ALP/PLILP 19981998
ILPS 19941994
CSL 19911991

Wrote 7 papers:

LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming
Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
ICLP-2012-AriasL #logic programming
Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.
CSL-2008-HermantL #approach #axiom #semantics
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (OH, JL), pp. 169–183.
TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics
Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
ALP-PLILP-1998-LiptonM #constraints #encapsulation #logic programming
Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.
ILPS-1994-BroomeL #calculus #combinator #logic programming
Combinatory Logic Programming: Computing in Relation Calculi (PB, JL), pp. 269–285.
Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.

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.