Execution of external applications using TTCN-3VASSILIOU-GIOLES, Theofanis; DIN, George; SCHIEFERDECKER, Ina et al.Lecture notes in computer science. 2004, pp 209-223, issn 0302-9743, isbn 3-540-21219-1, 15 p.Conference Paper

Type-indexed data typesHINZE, Ralf; JEURING, Johan; LÖH, Andres et al.Lecture notes in computer science. 2002, pp 148-174, issn 0302-9743, isbn 3-540-43857-2, 27 p.Conference Paper

Recent advances in Σ-definability over continuous data typesKOROVINA, Margarita.Lecture notes in computer science. 2003, pp 238-247, issn 0302-9743, isbn 3-540-20813-5, 10 p.Conference Paper

Performing algorithmic refinement before data refinement in BBUTLER, M; MEAGHER, M.Lecture notes in computer science. 2000, pp 324-343, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Datatype-generic reasoningBACKHOUSE, Roland.Lecture notes in computer science. 2006, pp 21-34, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 14 p.Conference Paper

Generic programming : advanced lecturesBackhouse, Roland; Gibbons, Jeremy.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20194-7, IX, 221 p, isbn 3-540-20194-7Book

Design and implementation of efficient data types for static graphsNÄHER, Stefan; ZLOTOWSKI, Oliver.Lecture notes in computer science. 2002, pp 748-759, issn 0302-9743, isbn 3-540-44180-8, 12 p.Conference Paper

Typing evolving ambientsXUDONG GUAN; YILING YANG; JINYUAN YOU et al.Information processing letters. 2001, Vol 80, Num 5, pp 265-270, issn 0020-0190Article

Other People's DataPETSCHULAT, Stephen.Communications of the ACM. 2010, Vol 53, Num 1, pp 53-57, issn 0001-0782, 5 p.Article

UCL+P : Defining and implementing Persistent Common LispJACOBS, J. H; SWANSON, M. R.Lisp and symbolic computation. 1997, Vol 10, Num 1, pp 5-38, issn 0892-4635Article

Non-dependent types for Standard ML modulesRUSSO, C. V.Lecture notes in computer science. 1999, pp 80-97, issn 0302-9743, isbn 3-540-66540-4Conference Paper

L'analisi dei tipi di dato come fase preliminare della progettazione concettuale = Analysis of kind of data as a preliminary phase of a conceptual projectRICCI, F. L.L'Indicizzazione. 1993, Vol 8, Num 1-2, pp 93-97, issn 0394-0810Conference Paper

Towards trustworthy specifications. I: Consistency checksROGGENBACH, Markus; SCHRÖDER, Lutz.Lecture notes in computer science. 2002, pp 305-327, issn 0302-9743, isbn 3-540-43159-4Conference Paper

A Universe of Binding and ComputationLICATA, Daniel R; HARPER, Robert.ACM SIGPLAN notices. 2009, Vol 44, Num 9, pp 123-134, issn 1523-2867, 12 p.Conference Paper

OWL-Eu : Adding customised datatypes into OWLPAN, Jeff Z; HORROCKS, Ian.Lecture notes in computer science. 2005, pp 153-166, issn 0302-9743, isbn 3-540-26124-9, 14 p.Conference Paper

Strong normalization of the second-order symmetric λμ-calculusYAMAGATA, Yoriyuki.Information and computation (Print). 2004, Vol 193, Num 1, pp 1-20, issn 0890-5401, 20 p.Article

Symmetries in data parallelismSHAFARENKO, A.Computer journal (Print). 1995, Vol 38, Num 5, pp 365-380, issn 0010-4620Article

A rewrite-based type discipline for a subset of computer algebraCOMON, H; LUGIEZ, D; SCHNOEBELEN, P et al.Journal of symbolic computation. 1991, Vol 11, Num 4, pp 349-368, issn 0747-7171, 20 p.Article

Comment on «Selftype is a special case»SAKKINEN, M.Information processing letters. 1991, Vol 38, Num 4, pp 221-224, issn 0020-0190, 4 p.Article

A methodology for choosing data representationsROBERTSON, P. K.IEEE computer graphics and applications. 1991, Vol 11, Num 3, pp 56-67, issn 0272-1716Article

Automatic compiler production: the front endREISS, S. P.IEEE transactions on software engineering. 1987, Vol 13, Num 6, pp 609-627, issn 0098-5589Article

Compiling pattern matching in join-patternsQIN MA; MARANGET, Luc.Lecture notes in computer science. 2004, pp 417-431, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

SOON: SELF ORGANISING OSCILLATOR NETWORKS FOR USE IN CLUSTERING PROBLEMSJACK, L. B; NANDI, A. K.IEEE Workshop on Machine Learning for Signal Processing. 2004, pp 453-462, isbn 0-7803-8608-6 978-0-7803-8608-2, 1Vol, 10 p.Conference Paper

TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers)Geuvers, Herman; Wiedijk, Freek.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-14031-X, VIII, 330 p, isbn 3-540-14031-XConference Proceedings

On algebraic specifications of abstract data typesKHOUSSAINOV, Bakhadyr.Lecture notes in computer science. 2003, pp 299-313, issn 0302-9743, isbn 3-540-40801-0, 15 p.Conference Paper