History
1
168

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 168 total

Building immersive conversation environment using locomotive interactive character. (English)
J. UCS 13, No. 2, 149-160, electronic only (2007).
Classification: D.1.0 D.1.1 D.2.1
1
Program slicing by calculation. (English)
J. UCS 12, No. 7, 828-848, electronic only (2006).
Classification: D.1.1 I.2.2 I.2.4
2
Total functional programming. (English)
J. UCS 10, No. 7, 751-768, electronic only (2004).
Classification: D.1.1
3
$\text{Haskell}_\#$: parallel programming made simple and efficient. (English)
J. UCS 9, No. 8, 776-794, electronic only (2003).
Classification: C.2.4 D.1.1 D.1.3 D.2.2 D.3.2 D.3.3
4
Tool support for the interactive derivation of formally correct functional programs. (English)
J. UCS 9, No. 2, 173-188, electronic only (2003).
Classification: D.1.1 D.2.2 F.3.1 I.2.2
5
Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10‒12, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2701. Berlin: Springer. viii, 317 p. EUR 46.00/net; \$56.00; \sterling 32.00; sFr 79.00 (2003). Classification: A.m D.1.1 6 Monad translating inductive and coinductive types. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 299-315 (2003). Classification: D.1.1 F.3.1 7 Java as a functional programming language. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 279-298 (2003). Classification: D.1.1 D.3 D.1 8 The not so simple proof-irrelevant model of CC. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 240-258 (2003). Classification: D.1.1 9 Weak transitivity in coercive subtyping. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 220-239 (2003). Classification: D.1.1 I.2.3 10 A new extraction for Coq. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 200-219 (2003). Classification: D.1.1 I.2.3 11 Typing with conditions and guarantees for functional in-place update. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 182-199 (2003). Classification: D.1.1 12 Two behavioural lambda models. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 127-147 (2003). Classification: D.1.1 13 General recursion in type theory. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 39-58 (2003). Classification: D.1.1 F.4.1 14 Program extraction in simply-typed higher order logic. (English) Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 21-38 (2003). Classification: F.3.1 D.1.1 I.2.3 15 Advanced functional programming. 4th international school, AFP 2002, Oxford, UK, August 19‒24, 2002. Revised lectures. (English) Lecture Notes in Computer Science. 2638. Berlin: Springer. vii, 211 p. EUR 34.00/net; \$ 45.00; \sterling 24.00; sFr 58.50 (2003).
Classification: A.m D.1.1
16
System ST toward a type system for extraction and proofs of programs. (English)
Ann. Pure Appl. Logic 122, No.1-3, 107-130 (2003).
Classification: D.1.1
17
On the geometry of intuitionistic S4 proofs. (English)
Homology Homotopy Appl. 5, No.2, 137-209, electronic only (2003).
Classification: F.3.2 D.1.1
18
Correction of functional logic programs. (English)
Degano, Pierpaolo (ed.), Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2618, 54-68 (2003).
Classification: D.1.6 D.1.1
19
A game semantics of linearly used continuations. (English)
Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 313-327 (2003).
Classification: D.1.1 F.3.2
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 168 total