Rafael Dueire Lins

Orcid: 0000-0003-3497-5044

According to our database1, Rafael Dueire Lins authored at least 189 papers between 1986 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Quality, Size and Time Assessment of the Binarization of Documents Photographed by Smartphones.
J. Imaging, 2023

Quality, Space and Time Competition on Binarizing Photographed Document Images.
Proceedings of the ACM Symposium on Document Engineering 2023, 2023

2022
Using Paper Texture for Choosing a Suitable Algorithm for Scanned Document Image Binarization.
J. Imaging, 2022

NASC: Network analytics to uncover socio-cognitive discourse of student roles.
Proceedings of the LAK 2022: 12th International Learning Analytics and Knowledge Conference, Online Event, USA, March 21, 2022

Binarization of photographed documents image quality, processing time and size assessment.
Proceedings of the 22nd ACM Symposium on Document Engineering, 2022

The Winner Takes It All: Choosing the "best" Binarization Algorithm for Photographed Documents.
Proceedings of the Document Analysis Systems - 15th IAPR International Workshop, 2022

2021
Automatic Content Analysis of Online Discussions for Cognitive Presence: A Study of the Generalizability Across Educational Contexts.
IEEE Trans. Learn. Technol., 2021

Toward Automatic Classification of Online Discussion Messages for Social Presence.
IEEE Trans. Learn. Technol., 2021

The impact of automatic text translation on classification of online discussions for social and cognitive presences.
Proceedings of the LAK'21: 11th International Learning Analytics and Knowledge Conference, 2021

ICDAR 2021 Competition on Time-Quality Document Image Binarization.
Proceedings of the 16th International Conference on Document Analysis and Recognition, 2021

Reducing the size of training datasets in the classification of online discussions.
Proceedings of the 21st International Conference on Advanced Learning Technologies, 2021

Binarisation of photographed documents image quality and processing time assessment.
Proceedings of the DocEng '21: ACM Symposium on Document Engineering 2021, 2021

Direct binarization a quality-and-time efficient binarization strategy.
Proceedings of the DocEng '21: ACM Symposium on Document Engineering 2021, 2021

Analytics of Emerging and Scripted Roles in Online Discussions: An Epistemic Network Analysis Approach.
Proceedings of the Artificial Intelligence in Education - 22nd International Conference, 2021

2020
Towards automatic content analysis of social presence in transcripts of online discussions.
Proceedings of the LAK '20: 10th International Conference on Learning Analytics and Knowledge, 2020

An Assessment of Sentence Simplification Methods in Extractive Text Summarization.
Proceedings of the DocEng '20: ACM Symposium on Document Engineering 2020, Virtual Event, CA, USA, September 29, 2020

DocEng'2020 Time-Quality Competition on Binarizing Photographed Documents.
Proceedings of the DocEng '20: ACM Symposium on Document Engineering 2020, Virtual Event, CA, USA, September 29, 2020

DocEng'2020 Competition on Extractive Text Summarization.
Proceedings of the DocEng '20: ACM Symposium on Document Engineering 2020, Virtual Event, CA, USA, September 29, 2020

2019
Editorial for special issue on "Advanced Topics in Document Analysis and Recognition".
Int. J. Document Anal. Recognit., 2019

A network-based analytic approach to uncovering the relationship between social and cognitive presences in communities of inquiry.
Internet High. Educ., 2019

ICDAR 2019 Time-Quality Binarization Competition.
Proceedings of the 2019 International Conference on Document Analysis and Recognition, 2019

A Quality and Time Assessment of Binarization Algorithms.
Proceedings of the 2019 International Conference on Document Analysis and Recognition, 2019

Enhancing Document-Camera Images.
Proceedings of the ACM Symposium on Document Engineering 2019, 2019

Generating Digital Libraries of M.Sc. and Ph.D. Theses.
Proceedings of the ACM Symposium on Document Engineering 2019, 2019

The CNN-Corpus in Spanish: a Large Corpus for Extractive Text Summarization in the Spanish Language.
Proceedings of the ACM Symposium on Document Engineering 2019, 2019

The CNN-Corpus: A Large Textual Corpus for Single-Document Extractive Summarization.
Proceedings of the ACM Symposium on Document Engineering 2019, 2019

DocEng'19 Competition on Extractive Text Summarization.
Proceedings of the ACM Symposium on Document Engineering 2019, 2019

2018
A New Binarization Algorithm for Historical Documents.
J. Imaging, 2018

Combining sentence similarities measures to identify paraphrases.
Comput. Speech Lang., 2018

Automatic cohesive summarization with pronominal anaphora resolution.
Comput. Speech Lang., 2018

Automated Analysis of Cognitive Presence in Online Discussions Written in Portuguese.
Proceedings of the Lifelong Technology-Enhanced Learning, 2018

Automatic Text Summarization and Classification.
Proceedings of the ACM Symposium on Document Engineering 2018, 2018

Assessing Sentence Simplification Methods Applied to Text Summarization.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

A Concept-Based ILP Approach for Multi-document Summarization Exploring Centrality and Position.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2017
Functional Programming: Past, Present, and Future. Contributions dedicated toD. A. Turner on his 70th Birthday.
J. Univers. Comput. Sci., 2017

A Regression-Based Approach Using Integer Linear Programming for Single-Document Summarization.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Binarizing Document Images Acquired with Portable Cameras.
Proceedings of the 7th International Workshop on Camera-Based Document Analysis and Recognition, 2017

Assessing Binarization Techniques for Document Images.
Proceedings of the 2017 ACM Symposium on Document Engineering, 2017

2016
W-tree: A Compact External Memory Representation for Webgraphs.
ACM Trans. Web, 2016

Assessing shallow sentence scoring techniques and combinations for single and multi-document summarization.
Expert Syst. Appl., 2016

Assessing sentence similarity through lexical, syntactic and semantic analysis.
Comput. Speech Lang., 2016

Assessing Concept Weighting in Integer Linear Programming based Single-document Summarization.
Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

Appling Link Target Identification and Content Extraction to improve Web News Summarization.
Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

Mobile Summarizer and News Summary Navigator: Two Multilingual News Article Summarization Tools for Mobile Devices.
Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

Towards Cohesive Extractive Summarization through Anaphoric Expression Resolution.
Proceedings of the 2016 ACM Symposium on Document Engineering, 2016

A Concept-Based Integer Linear Programming Approach for Single-Document Summarization.
Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2015
Taylor Series as Wide-sense Biorthogonal Wavelet Decomposition.
CoRR, 2015

Automatic Summarization of News Articles in Mobile Devices.
Proceedings of the Fourteenth Mexican International Conference on Artificial Intelligence, 2015

Binarizing complex scanned documents.
Proceedings of the 13th International Conference on Document Analysis and Recognition, 2015

Automatic Text Document Summarization Based on Machine Learning.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

Automatic Document Classification using Summarization Strategies.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

A Quantitative and Qualitative Assessment of Automatic Text Summarization Systems.
Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

2014
A multi-document summarization system based on statistics and linguistic treatment.
Expert Syst. Appl., 2014

A New Sentence Similarity Method Based on a Three-Layer Sentence Representation.
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

Later Added Strokes or Text - Fraud Detection in Documents Written with Ballpoint Pens.
Proceedings of the 14th International Conference on Frontiers in Handwriting Recognition, 2014

Transforming graph-based sentence representations to alleviate overfitting in relation extraction.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

A new sentence similarity assessment measure based on a three-layer sentence representation.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

A platform for language independent summarization.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

Automatic Training Set Generation for Better Historic Document Transcription and Compression.
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

A Context Based Text Summarization System.
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

2013
Assessing sentence scoring techniques for extractive text summarization.
Expert Syst. Appl., 2013

A Four Dimension Graph Model for Automatic Text Summarization.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, 2013

Application of Enhanced-2D-CWT in Topographic Images for Mapping Landslide Risk Areas.
Proceedings of the Image Analysis and Recognition - 10th International Conference, 2013

A New Algorithm for Background Removal of Document Images Acquired Using Portable Digital Cameras.
Proceedings of the Image Analysis and Recognition - 10th International Conference, 2013

Shading Removal of Illustrated Documents.
Proceedings of the Image Analysis and Recognition - 10th International Conference, 2013

Removing Shade and Specular Noise in Images of Objects and Documents Acquired with a 3D-Scanner.
Proceedings of the Image Analysis and Recognition - 10th International Conference, 2013

An Efficient Algorithm for Segmenting Warped Text-Lines in Document Images.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

A Color-Based Model to Determine the Age of Documents for Forensic Purposes.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Filtering Out Readers' Underline in Monochromatic and Color Documents.
Proceedings of the Graphics Recognition. Current Trends and Challenges, 2013

2012
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets
CoRR, 2012

Haskell_#: Coordinating Functional Processes
CoRR, 2012

Improving Requirements Quality in Digital Libraries: The Case of Scientific Proceedings.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Automatic content recognition of teaching boards in the Tableau platform.
Proceedings of the 21st International Conference on Pattern Recognition, 2012

ooErlang: another object oriented extension to Erlang.
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

A Strategy for Automatically Extracting References from PDF Documents.
Proceedings of the 10th IAPR International Workshop on Document Analysis Systems, 2012

2011
Nabuco - Two Decades of Document Processing in Latin America.
J. Univers. Comput. Sci., 2011

Meeting New Challenges in Document Engineering.
J. Univers. Comput. Sci., 2011

A new algorithm for segmenting warped text-lines in document images.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An assessment of data matrix barcode recognition under scaling, rotation and cylindrical warping.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

An Automatic Method for Enhancing Character Recognition in Degraded Historical Documents.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

Correcting Specular Noise in Multiple Images of Photographed Documents.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

Automatically Discriminating between Digital and Scanned Photographs.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

HistDoc v. 2.0: enhancing a platform to process historical documents.
Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, 2011

Using Readers' Highlighting on Monochromatic Documents for Automatic Text Transcription and Summarization.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

Thanatos: automatically retrieving information from death certificates in Brazil.
Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, 2011

De-blurring Textual Document Images.
Proceedings of the Graphics Recognition. New Trends and Challenges, 2011

Statistically Analyzing RGB Histograms to Remove Highlighting in Aged Paper Monochromatic Documents.
Proceedings of the Graphics Recognition. New Trends and Challenges, 2011

2010
A dewarping algorithm to compensate volume binding distortion in scanned documents.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Automatically detecting and classifying noises in document images.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Enhancing the Filtering-Out of the Back-to-Front Interference in Color Documents with a Neural Classifier.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

Generalizing Tableau to Any Color of Teaching Boards.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

HistDoc - A Toolbox for Processing Images of Historical Documents.
Proceedings of the Image Analysis and Recognition, 7th International Conference, 2010

A New Method for Text-Line Segmentation for Warped Documents.
Proceedings of the Image Analysis and Recognition, 7th International Conference, 2010

Correcting Book Binding Distortion in Scanned Documents.
Proceedings of the Image Analysis and Recognition, 7th International Conference, 2010

ICFHR 2010 Contest: Quantitative Evaluation of Binarization Algorithms.
Proceedings of the International Conference on Frontiers in Handwriting Recognition, 2010

PDF profiling for B&W versus color pages cost estimation for efficient on-demand book printing.
Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

2009
Automatically Deciding if a Document was Scanned or Photographed.
J. Univers. Comput. Sci., 2009

Processing Camera-Based Documents.
J. Univers. Comput. Sci., 2009

A Type System for Parallel Components
CoRR, 2009

Enhancing the Quality of Color Documents with Back-to-Front Interference.
Proceedings of the Image Analysis and Recognition, 6th International Conference, 2009

A Taxonomy for Noise in Images of Paper Documents - The Physical Noises.
Proceedings of the Image Analysis and Recognition, 6th International Conference, 2009

Efficient Removal of Noisy Borders of Monochromatic Documents.
Proceedings of the Image Analysis and Recognition, 6th International Conference, 2009

Image Classification to Improve Printing Quality of Mixed-Type Documents.
Proceedings of the 10th International Conference on Document Analysis and Recognition, 2009

Content Recognition and Indexing in the LiveMemory Platform.
Proceedings of the Graphics Recognition. Achievements, 2009

2008
A New and Efficient Algorithm to Binarize Document Images Removing Back-to-Front Interference.
J. Univers. Comput. Sci., 2008

Comparative Aspects between the Cluster and Grid Implementations of BigBatch.
J. Univers. Comput. Sci., 2008

Detailing a Quantitative Method for Assessing Algorithms to Remove Back-to-Front Interference in Documents.
J. Univers. Comput. Sci., 2008

Further Advances in Document Engineering.
J. Univers. Comput. Sci., 2008

Advances in Document Engineering.
J. Univers. Comput. Sci., 2008

Cyclic reference counting.
Inf. Process. Lett., 2008

Compositional Specification of Parallel Components Using Circus.
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

BigBatch: a document processing platform for clusters and grids.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Special track on Document Engineering: editorial message.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network.
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

Improving the Border Detection and Image Enhancement Algorithms in Tableau.
Proceedings of the Image Analysis and Recognition, 5th International Conference, 2008

2007
Cyclic Reference Counting with Permanent Objects.
J. Univers. Comput. Sci., 2007

A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems.
J. Univers. Comput. Sci., 2007

Towards an architecture for component-oriented parallel programming.
Concurr. Comput. Pract. Exp., 2007

High-Level Service Connectors for Component-Based High Performance Computing.
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007

A fast algorithm to binarize and filter documents with back-to-front interference.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A quantitative method for assessing algorithms to remove back-to-front interference in documents.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Enhancing Document Images Acquired Using Portable Digital Cameras.
Proceedings of the Image Analysis and Recognition, 4th International Conference, 2007

Generating Color Documents from Segmented and Synthetic Elements.
Proceedings of the Image Analysis and Recognition, 4th International Conference, 2007

Assessing and Improving the Quality of Document Images Acquired with Portable Digital Cameras.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Converting ECG and Other Paper Legated Biomedical Maps into Digital Signals.
Proceedings of the Graphics Recognition. Recent Advances and New Opportunities, 2007

2006
A categorical characterization for the compositional features of the # component model.
ACM SIGSOFT Softw. Eng. Notes, 2006

An Institutional Theory for #-Components.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

Design and Implementation of an Environment for Component-Based Parallel Programming.
Proceedings of the High Performance Computing for Computational Science, 2006

Binarizing and filtering historical documents with back-to-front interference.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Comparisons of file formats for image transmission through networks.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

BigBatch - An Environment for Processing Monochromatic Documents.
Proceedings of the Image Analysis and Recognition, Third International Conference, 2006

New Algorithms and Applications of Cyclic Reference Counting.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
A New Multi-Processor Architecture for Parallel Lazy Cyclic Reference Counting.
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005

Editorial message: special track on document engineering.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Background Removal of Document Images Acquired Using Portable Digital Cameras.
Proceedings of the Image Analysis and Recognition, Second International Conference, 2005

Automatically Detecting Symmetries in Decorative Tiles.
Proceedings of the Image Analysis and Recognition, Second International Conference, 2005

A scheme for the consistent management of web pages.
Proceedings of the AC 2005, 2005

A new technique for assessing the performance of OCRs.
Proceedings of the AC 2005, 2005

Home-banking security: a case study.
Proceedings of the AC 2005, 2005

A component model for high level and efficient parallel programming on distributed architectures.
Proceedings of the AC 2005, 2005

Using Aspects for Supporting Procedural Modules in # Programming.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

BigBatch: a toolbox for monochromatic documents.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

A new rotation algorithm for monochromatic images.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

A fast orientation and skew detection algorithm for monochromatic document images.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004
Partial Categorical Multi-Combinators and Church-Rosser Theorems.
J. Univers. Comput. Sci., 2004

8th Brazilian Symposium on Programming Languages - J.UCS Special Issue.
J. Univers. Comput. Sci., 2004

Comparative study of file formats for image storage and transmission.
J. Electronic Imaging, 2004

Automatic language identification of written texts.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A back-end for GHC based on categorical multi-combinators.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A new algorithm for removing noisy borders from monochromatic documents.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A New Algorithm for Skew Detection in Images of Documents.
Proceedings of the Image Analysis and Recognition: International Conference, 2004

A New File Format for Decorative Tiles.
Proceedings of the Image Analysis and Recognition: International Conference, 2004

Efficient Removal of Noisy Borders from Monochromatic Documents.
Proceedings of the Image Analysis and Recognition: International Conference, 2004

2003
Lazy Cyclic Reference Counting.
J. Univers. Comput. Sci., 2003

Haskell#: Parallel Programming Made Simple and Efficient.
J. Univers. Comput. Sci., 2003

On the Implementation of SPMD Applications Using Haskell.
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003

Topological Skeletons in Haskell.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
An efficient algorithm for cyclic reference counting.
Inf. Process. Lett., 2002

An Efficient Multi-processor Architecture for Parallel Cyclic Reference Counting.
Proceedings of the High Performance Computing for Computational Science, 2002

Translating Haskell<sub>#</sub> Programs into Petri Nets.
Proceedings of the High Performance Computing for Computational Science, 2002

Efficient Cyclic Weighted Reference Counting.
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

Coordinating functional processes with Haskell<sub>#</sub>.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Generation of images of historical documents by composition.
Proceedings of the 2002 ACM Symposium on Document Engineering, 2002

2000
Translating HCL Programs into Petri Nets.
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Generating paper texture of historical documents using statistical moments.
Proceedings of the IEEE International Conference on Acoustics, 2000

1997
A new algorithm for monochromatic image compression.
Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996
Are functional languages suitable for scientific computing?
RITA, 1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

Functional Programming and Parallel Processing.
Proceedings of the Vector and Parallel Processing, 1996

Optimising Pseudoknotin FCMC.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

Garbage collection - algorithms for automatic dynamic memory management.
Wiley, ISBN: 978-0-471-94148-4, 1996

1994
An environment for processing images of historical documents.
Microprocess. Microprogramming, 1994

On the Equivalence Between CMC and TIM.
J. Funct. Program., 1994

Distributed Cyclic Reference Counting.
Proceedings of the Parallel and Distributed Computing, 1994

1993
Some performance figures for the G-Machine and its optimisations.
Microprocess. Microprogramming, 1993

ΓCMC: Fast lazy functional languages.
Microprocess. Microprogramming, 1993

Generational Cyclic Reference Counting.
Inf. Process. Lett., 1993

Cyclic Weighted Reference Counting without Delay.
Proceedings of the PARLE '93, 1993

1992
Cyclic Reference Counting with Lazy Mark-Scan.
Inf. Process. Lett., 1992

The Categorical Multi-Combinator Machine: CMCM.
Comput. J., 1992

1991
GM-C: A graph multi-combinator machine.
Microprocessing and Microprogramming, 1991

A shared memory architecture for parallel cyclic reference counting.
Microprocessing and Microprogramming, 1991

1990
Implementing SASL using Categorical Multi-combinators.
Softw. Pract. Exp., 1990

Cycle Reference Counting with Local Mark-Scan.
Inf. Process. Lett., 1990

1987
On the Efficiency of Categorical Combinators as a Rewriting System.
Softw. Pract. Exp., 1987

Categorical multi-combinators.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
On the efficiency of categorical combinators in applicative languages.
PhD thesis, 1986

A New Formula for the Execution of Categorial Combinators.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...