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: Lipton:James
Contributed to:
2014
2012
2008
2007
199819941991Wrote 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.
- CSL-1991-ChirimarL
- Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.