Found 393 Documents (Results 1–100)

100
MathJax

Syntactically restricting bounded polymorphism for decidable subtyping. (English)Zbl 1476.68041

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020).
MSC:  68N15 68N18 68N19
Full Text:

System description: lang-n-change – a tool for transforming languages. (English)Zbl 07368092

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020).
MSC:  68N17 68N18
Full Text:

Language-integrated query with nested data structures and grouping. (English)Zbl 07368089

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 139-158 (2020).
MSC:  68N17 68N18
Full Text:

On the effectiveness of higher-order logic programming in language-oriented programming. (English)Zbl 07368087

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020).
MSC:  68N17 68N18
Full Text:

MSC:  68T50
Full Text:

An operational interpretation of coinductive types. (English)Zbl 07168147

MSC:  03B70 68-XX
Full Text:

Logical and algebraic characterizations of rational transductions. (English)Zbl 1440.68173

MSC:  68Q70 03D05
Full Text:

Full Text:

An intracerebral exploration of functional connectivity during word production. (English)Zbl 1414.92169

MSC:  92C55 92B20 92C20
Full Text:

Finite-state techniques. Automata, transducers and bimachines. (English)Zbl 1465.68006

Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
Full Text:

Full Text:

Divide-and-conquer checkpointing for arbitrary programs with no user annotation. (English)Zbl 1455.65037

Optim. Methods Softw. 33, No. 4-6, 1288-1330 (2018); correction ibid. 36, No. 6, 1317-1318 (2021).
MSC:  65D25 68N18
Full Text:

Remark on Algorithm 539: A modern Fortran reference implementation for carefully computing the Euclidean norm. (English)Zbl 1484.65098

MSC:  65Fxx 15A60 65Y15
Full Text:

New definition of the web ontology language OWL2. (Russian. English summary)Zbl 1399.68239

MSC:  68T30 68M11
Full Text:

Algebraic dynamic programming on trees. (English)Zbl 1461.68094

MSC:  68Q42 68N18 90C39
Full Text:

A provably correct compilation of functional languages into scripting languages. (English)Zbl 1424.68028

MSC:  68N15 68N18 68N20
Full Text:

A hybrid relational modelling language. (English)Zbl 1485.68162

Gibson-Robinson, Thomas (ed.) et al., Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10160, 124-143 (2017).
Full Text:

Programming language concepts. With a chapter by Niels Hallenberg. 2nd edition. (English)Zbl 1401.68006

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-60788-7/pbk; 978-3-319-60789-4/ebook). xv, 341 p. (2017).
Full Text:

Modular, fully-abstract compilation by approximate back-translation. (English)Zbl 1398.68089

MSC:  68N20 68N18 68T15
Full Text:

An approach to functional formal models of constraint-based lexicalized grammar. (English)Zbl 1375.68115

MSC:  68T50 91F20
Full Text:

Beginner’s Luck: a language for property-based generators. (English)Zbl 1380.68096

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017).
MSC:  68N18
Full Text:

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. (English)Zbl 1451.68324

MSC:  68V15 68N18
Full Text:

Iteration and labelled iteration. (English)Zbl 1394.68061

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 127-146 (2016).
MSC:  68N18 68Q55
Full Text:

Fully abstract compilation via universal embedding. (English)Zbl 1361.68044

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 103-116 (2016).
MSC:  68N18 68N20 68Q55
Full Text:

Implementing variable vectors in a CCG parser. (English)Zbl 1482.68116

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 52-67 (2016).
Full Text:

Full Text:

Programming in Haskell. 2nd revised and extended edition. (English)Zbl 1344.68001

Cambridge: Cambridge University Press (ISBN 978-0-521-62622-1/pbk; 978-0-511-81367-2/ebook). xvi, 304 p. (2016).
MSC:  68-01 68N15 68N18
Full Text:

Executable relational specifications of polymorphic type systems using Prolog. (English)Zbl 1475.68052

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016).
MSC:  68N17 68N18
Full Text:

Game semantics for type soundness. (English)Zbl 1401.68172

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 104-114 (2015).
MSC:  68Q55 68N18 91A80
Full Text:

Certified symbolic management of financial multi-party contracts. (English)Zbl 1360.68356

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015).
MSC:  68N30 68N18 68Q55 91B40 91G99
Full Text:

Functional dependencies on extended relations defined by regular languages. (English)Zbl 1319.68076

MSC:  68P15 68Q45
Full Text:

SeLINQ: tracking information across application-database boundaries. (English)Zbl 1346.68065

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 25-38 (2014).
Full Text:

Towards symmetric functional encryption for regular languages with predicate privacy. (English)Zbl 1371.68168

Yoshida, Maki (ed.) et al., Advances in information and computer security. 9th international workshop on security, IWSEC 2014, Hirosaki, Japan, August 27–29, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09842-5/pbk). Lecture Notes in Computer Science 8639, 266-275 (2014).
MSC:  68Q45 68P25 94A60
Full Text:

Full Text:

Full Text:

Propositions as sessions. (English)Zbl 1307.68025

MSC:  68N18 03B70
Full Text:

Gradual typing embedded securely in JavaScript. (English)Zbl 1284.68108

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 425-437 (2014).
Full Text:

An abstract, reusable, and extensible programming language design architecture. (English)Zbl 1397.68023

Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
Full Text:

Graphical and incremental type inference. A graph transformation approach. (English)Zbl 1360.68320

MSC:  68N18 68Q42
Full Text:

Nominal lambda calculus: an internal language for FM-Cartesian closed categories. (English)Zbl 1334.68042

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 93-117 (2013).
Full Text:

Definability in the language of functional equations of a countable-valued logic. (English. Russian original)Zbl 1312.03025

Discrete Math. Appl. 23, No. 5-6, 451-462 (2013); translation from Diskretn. Mat. 25, No. 4, 13-23 (2013).
MSC:  03B50
Full Text:

Modular and automated type-soundness verification for language extensions. (English)Zbl 1323.68218

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 331-342 (2013).
Full Text:

Structural recursion for querying ordered graphs. (English)Zbl 1323.68241

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 305-318 (2013).
MSC:  68P05 68N18 68R10
Full Text:

Simple and compositional reification of monadic embedded languages. (English)Zbl 1323.68165

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 299-304 (2013).
MSC:  68N18
Full Text:

Optimising purely functional GPU programs. (English)Zbl 1323.68137

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 49-60 (2013).
MSC:  68N18
Full Text:

Idris, a general-purpose dependently typed programming language: design and implementation. (English)Zbl 1295.68059

MSC:  68N18 68N15
Full Text:

A parallelized theorem prover for a logic with parallel execution. (English)Zbl 1317.68230

Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 435-450 (2013).
MSC:  68T15
Full Text:

Sorting out the sorites. (English)Zbl 1272.03039

Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 329-348 (2013).
MSC:  03A05 03B53
Full Text:

Full Text:

An approach to completing variable names for implicitly typed functional languages. (English)Zbl 1360.68340

MSC:  68N18 68N30
Full Text:

On minimality of one set of built-in functions for functional programming languages. (English)Zbl 1304.68027

MSC:  68N15 68N18

On one complete and minimal set of built-in constants for Backus FP system. (English)Zbl 1301.68083

MSC:  68N18 68N15

Static type inference for the Q language using constraint logic programming. (English)Zbl 1281.68085

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012).
MSC:  68N30 68N17 68N18
Full Text:

Formalization of the functional programming languages based on lambda calculus. (Ukrainian. English summary)Zbl 1289.68009

MSC:  68N18 68N15

The Zipf law for random texts with unequal letter probabilities and the Pascal pyramid. (English. Russian original)Zbl 1262.68170

Russ. Math. 56, No. 12, 25-27 (2012); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2012, No. 12, 30-33 (2012).
MSC:  68T50 60C05 68R15
Full Text:

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. (English)Zbl 1261.68041

MSC:  68N18 68T30 68T35
Full Text:

MSC:  03A05

Application of ontologies and semantic web for facilitation of ecology. (English)Zbl 1262.92045

MSC:  92D40 92-04 92C42

Core FOBS: A hybrid functional and object-oriented language. (English)Zbl 1248.68137

MSC:  68N19 68N18
Full Text:

Semantic subtyping with an SMT solver. (English)Zbl 1248.68131

MSC:  68N18 68N15
Full Text:

An overview of QML with a concrete implementation in Haskell. (English)Zbl 1347.68053

Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 165-174 (2011).
Full Text:

Capsules and closures. (English)Zbl 1342.68088

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011).
Full Text:

An equivalence-preserving CPS translation via multi-language semantics. (English)Zbl 1323.68088

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 431-444 (2011).
Full Text:

Pushdown flow analysis of first-class control. (English)Zbl 1323.68169

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 69-80 (2011).
MSC:  68N18 68Q60
Full Text:

Non-parametric parametricity. (English)Zbl 1262.68026

MSC:  68N15 68N18
Full Text:

Sessions, from types to programming languages. (English)Zbl 1261.68036

MSC:  68N15 68N18

MSC:  68N19
Full Text:

Ampersand. Applying relation algebra in practice. (English)Zbl 1329.68066

de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 280-293 (2011).
MSC:  68N18 03G15 68Q60
Full Text:

Functional programming in C#. Classic programming techniques for modern projects. (English)Zbl 1225.68059

Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-74458-1/pbk). xvii, 270 p. (2011).
MSC:  68N18 68-01 68N15

Introduction to the theory of programming languages. (English)Zbl 1213.68160

Undergraduate Topics in Computer Science. London: Springer (ISBN 978-0-85729-075-5/pbk; 978-0-85729-076-2/ebook). xi, 96 p. (2011).
Full Text:

ReCaml: execution state as the cornerstone of reconfigurations. (English)Zbl 1323.68060

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 27-38 (2010).
MSC:  68N01 68N15 68N18
Full Text:

Computational semantics with functional programming. (English)Zbl 1305.68017

Cambridge: Cambridge University Press (ISBN 978-0-521-76030-0/hbk; 978-0-521-75760-7/pbk; 978-0-511-77837-7/ebook). xv, 405 p. (2010).
Full Text:

Steps in Scala. An introduction to object-functional programming. (English)Zbl 1246.68005

Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010).
Full Text:

Compiler design. Virtual machines. (English)Zbl 1209.68117

Berlin: Springer (ISBN 978-3-642-14908-5/hbk; 978-3-642-14909-2/ebook). xiii, 187 p. (2010).
MSC:  68N20 68-01
Full Text:

Phonological interpretation into preordered algebras. (English)Zbl 1286.68456

Ebert, Christian (ed.) et al., The mathematics of language. 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28–30, 2007, and MOL 11, Bielefeld, Germany, August 20–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14321-2/pbk). Lecture Notes in Computer Science 6149. Lecture Notes in Artificial Intelligence, 200-209 (2010).
MSC:  68T50 68N18
Full Text:

Type-directed weaving of aspects for polymorphically typed functional languages. (English)Zbl 1209.68105

MSC:  68N18 68N15
Full Text:

Linear type theory for asynchronous session types. (English)Zbl 1185.68194

MSC:  68N18 68Q55
Full Text:

Directly reflective meta-programming. (English)Zbl 1183.68164

MSC:  68N18 68N15
Full Text:

Full Text:

Extending the loop language with higher-order procedural variables. (English)Zbl 1351.68048

MSC:  68N15 03B70 68N18
Full Text:

Causal commutative arrows and their optimization. (English)Zbl 1302.68064

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 35-46 (2009).
MSC:  68N18 68N19
Full Text:

The Peter Landin prize. (English)Zbl 1213.68189

MSC:  68N18 68-03
Full Text:

Automatic differentiation and its program realization. (English)Zbl 1191.65017

MSC:  65D25 68W30 26A24
Full Text:

A simple type-theoretic language: Mini-TT. (English)Zbl 1184.68152

Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 139-164 (2009).
MSC:  68N15 68N18

A semantic model for proving properties of clean object I/O programs. (English)Zbl 1212.68091

MSC:  68Q60 68N15

MSC:  68N18
Full Text:

Proofs of randomized algorithms in Coq. (English)Zbl 1178.68667

MSC:  68W20 68N30 68T15
Full Text:

Pattern calculus. Computing with functions and structures. (English)Zbl 1215.68055

Berlin: Springer (ISBN 978-3-540-89184-0/hbk; 978-3-540-89185-7/ebook). xvii, 213 p. (2009).
Full Text:

Full Text:

Functional Netlists. (English)Zbl 1323.68146

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 353-366 (2008).
Full Text:

A type-preserving compiler in Haskell. (English)Zbl 1323.68187

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 75-86 (2008).
Full Text:

Quantum data and control made easier. (English)Zbl 1279.68035

Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 85-105 (2008).
Full Text:

Meta$$\langle$$Fun$$\rangle$$ – towards a functional-style interface for C++ template metaprograms. (English)Zbl 1182.68036

MSC:  68N15 68N18

SBUQA question answering system. (English)Zbl 1188.68287

Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 316-323 (2008).
MSC:  68T35
Full Text:

Towards an implementation of a computer algebra system in a functional language. (English)Zbl 1166.68378

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 141-154 (2008).
MSC:  68W30 68N18
Full Text:

Safety of Nöcker’s strictness analysis. (English)Zbl 1153.68012

MSC:  68N18 68N20
Full Text:

Towards a mechanized metatheory of Standard ML. (English)Zbl 1295.68088

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 173-184 (2007).
Full Text:

Implementing dynamic-cut in $$\mathcal{T}OY$$. (English)Zbl 1279.68038

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 153-168 (2007).
MSC:  68N17 68N18
Full Text:

Meta-programming with built-in type equality. (English)Zbl 1278.68062

Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 49-65 (2008).
MSC:  68N18 68Q55
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3