×

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

Basic simple type theory. Paperback reprint with corrections. (English) Zbl 1135.03006

Cambridge Tracts in Theoretical Computer Science 42. Cambridge: Cambridge University Press (ISBN 978-0-521-05422-5/pbk). xii, 186 p. (2008).
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software