io-port.net

io-port 05216834 Chan, R.; Hoshino, J.

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216814 Rodrigues, N.F.; Barbosa, L.S.

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216720 Turner, D.A.

Total functional programming. (English)

J. UCS 10, No. 7, 751-768, electronic only (2004).

Classification: D.1.1

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216623 De Carvalho Junior, F.Heron; Lins, R.Dueire

$\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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05216580 Guttmann, W.; Partsch, H.; Schulte, W.; Vullinghs, T.

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02029960 Hofmann, Martin (ed.)

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003163 Uustalu, Tarmo

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003162 Setzer, Anton

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003160 Miquel, Alexandre; Werner, Benjamin

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003159 Luo, Yong; Luo, Zhaohui; Soloviev, Sergei

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003158 Letouzey, Pierre

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003157 Konečný, Michal

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003154 Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003149 Bove, Ana

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 02003148 Berghofer, Stefan

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01979344 Jeuring, Johan (ed.); Jones, Simon Peyton (ed.)

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01963864 Raffalli, Christophe

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

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01959266 Goubault-Larrecq, Jean; Goubault, Éric

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

PDF XML AMS-TeX TEXT BIBTeX EMIS

io-port 01956545 Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno

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

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01956521 Laird, James

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

PDF XML AMS-TeX TEXT BIBTeX URL