×

Found 31 Documents (Results 1–31)

Type inference for rank-2 intersection types using set unification. (English) Zbl 07719848

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 462-480 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Structural rules and algebraic properties of intersection types. (English) Zbl 07719825

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 60-77 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Typed SLD-resolution: dynamic typing for logic programming. (English) Zbl 1522.68098

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 123-141 (2022).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data type inference for logic programming. (English) Zbl 1521.68028

De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 16-37 (2022).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Type inference for rank 2 gradual intersection types. (English) Zbl 1503.68035

Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 84-120 (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A three-valued semantics for typed logic programming. (English) Zbl 07453101

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36-51 (2019).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Non-blocking concurrent imperative programming with session types. (English) Zbl 1483.68068

Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64-72 (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. (English) Zbl 1375.68023

Electronic Notes in Theoretical Computer Science 332. Amsterdam: Elsevier. 168 p., electronic only (2017).
PDFBibTeX XMLCite
Full Text: Link

Type-based allocation analysis for co-recursion in lazy functional languages. (English) Zbl 1335.68035

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 787-811 (2015).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Constraint logic programming for hedges: a semantic reconstruction. (English) Zbl 1416.68031

Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 285-301 (2014).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Automatic amortised analysis of dynamic memory allocation for lazy functional programs. (English) Zbl 1291.68027

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 165-176 (2012).
MSC:  68M07 68M20 68N18
PDFBibTeX XMLCite
Full Text: DOI

Certifying execution time. (English) Zbl 1367.68074

Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 108-125 (2012).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the first international workshop on linearity, Coimbra, Portugal, September 12, 2009. (English) Zbl 1415.68025

Electronic Proceedings in Theoretical Computer Science (EPTCS) 22. Waterloo: Open Publishing Association (OPA). 64 p., electronic only, open access (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Minimality in a linear calculus with iteration. (English) Zbl 1279.68045

Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 163-179 (2008).
MSC:  68N18 03B40 03F52
PDFBibTeX XMLCite
Full Text: DOI

The power of closed reduction strategies. (English) Zbl 1277.03009

Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 57-74 (2007).
MSC:  03B40 03B70
PDFBibTeX XMLCite
Full Text: DOI

Using intersection types for cost-analysis of higher-order polymorphic functional programs. (English) Zbl 1178.68139

Altenkirch, Thorsten (ed.) et al., Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18–21, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74463-4/pbk). Lecture Notes in Computer Science 4502, 221-236 (2007).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Linear recursive functions. (English) Zbl 1186.03064

Comon-Lundh, Hubert (ed.) et al., Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-73146-7/pbk). Lecture Notes in Computer Science 4600, 182-195 (2007).
MSC:  03D20 03F52
PDFBibTeX XMLCite
Full Text: DOI

Iterator types. (English) Zbl 1195.03020

Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 17-31 (2007).
MSC:  03B40 03B70
PDFBibTeX XMLCite
Full Text: DOI

The power of linear functions. (English) Zbl 1225.03014

Ésik, Zoltán (ed.), Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45458-8/pbk). Lecture Notes in Computer Science 4207, 119-134 (2006).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Linearization by program transformation. (English) Zbl 1099.68020

Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25–27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 160-175 (2004).
MSC:  68N30 03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Type inference using constraint handling rules. (English) Zbl 1268.68042

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 56-72 (2002).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software